#include <geekos/io.h>
#include <geekos/screen.h>
#include <geekos/int.h>
#include <geekos/irq.h>
#include <geekos/kthread.h>
#include <geekos/string.h>
#include <geekos/projects.h>


void Init_Serial() {
    TODO_P(PROJECT_SERIAL, "Initialize a serial port driver");
}
