Function twizzler_abi::syscall::sys_kernel_console_write

pub fn sys_kernel_console_write(buffer: &[u8], flags: KernelConsoleWriteFlags)

Write to the kernel console.

This writes first to the kernel console buffer, for later reading by sys_kernel_console_read_buffer, and then writes to the underlying kernel console device (if one is present). By default, if the buffer is full, this write will overwrite old data in the (circular) buffer, but this behavior can be controlled by the flags argument.

This function cannot fail.