pc Directory Reference

Files
	devices.c
	The PC's devices that no bus finds (see dev/platform.h), at the ports and ISA interrupts that every PC has them on.
	init.c
	The PC platform: its interrupt controllers, its timers, its PCI bus and its real time clock, set up at boot, and the tick.
	reboot.c
	The PC: restarting, halting and powering off.