1 #include <dev/device.h>
2 #include <dev/tty/serial/serial.h>
3 #include <sys/console.h>
4 #include <libkern/printk.h>
5 #include <machine/multiboot.h>
8 void serial_8250_init(
void *dev);
13 .init = serial_8250_init,
22 arch_init(uint32_t magic,
void *boot_info)
25 dev.drivers.serial.init(&(dev.drivers.serial));
30 printk(
"Magic: 0x%x, BootInfo: %p\n", magic, boot_info);
34 case MULTIBOOT_BOOTLOADER_MAGIC:
35 printk(
"yay multiboot\n");
36 multiboot_entry(boot_info);
40 printk(
"Invalide multiboot magic\n");