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),