msaitoh 04c8069c04 Fix typo in comment.		2016-02-12 05:32:47 +00:00
..
acpi	Fix build break.	2016-01-28 23:50:04 +00:00
conf	Add support for grub to find the ACPI root table pointer via a bootinfo entry	2016-01-28 01:09:56 +00:00
include	Add support for grub to find the ACPI root table pointer via a bootinfo entry	2016-01-28 01:09:56 +00:00
isa	add intr_handle_t and let pci_intr_handle_t use it.	2015-04-27 06:51:40 +00:00
pci	Introduce softint-based if_input	2016-02-09 08:32:07 +00:00
x86	Fix typo in comment.	2016-02-12 05:32:47 +00:00