| Name | Size | Permissions | Options |
acpi |
-- | drwxr-xr-x | |
clocksource |
-- | drwxr-xr-x | |
cpu |
-- | drwxr-xr-x | |
i8237 |
-- | drwxr-xr-x | |
i8259 |
-- | drwxr-xr-x | |
ioapic |
-- | drwxr-xr-x | |
irqrouter |
-- | drwxr-xr-x | |
lapic |
-- | drwxr-xr-x | |
timekeeping |
-- | drwxr-xr-x | |
timer |
-- | drwxr-xr-x | |