Function write_serial

Kernel/src/arch/x86_64/serial.cpp:29–33

}

void write_serial(const char c) {
	while (is_transmit_empty() == 0);

	outportb(PORT, c);
}

void write_serial(const char* s) {
	write_serial_n(s, strlen(s));