--- /dev/null
+dev_id(VTERM),
+dev_id(RNG),
+
+dev_id(RTC),
+
+dev_id(SATA),
+dev_id(NVME),
+dev_id(PCI),
+dev_id(UART16550),
+
+dev_id(TIMER),
+dev_id(TIMER_APIC),
+dev_id(TIMER_HEPT),
+
+dev_id(NIHIL),
+dev_id(ZERO),
+dev_id(KBD),
+dev_id(GFXA),
+dev_id(VGA),
+dev_id(INTC),
\ No newline at end of file