Nathan Whitehorn 8bcbebe741 Add vt_efifb to VT kernel configuration now that that actually works. This ... kernel will now boot on both BIOS and EFI systems without modification. Equivalent functionality in GENERIC requires making vt(9) the default console driver, which is probably appropriate at this point.		2014-04-27 02:22:21 +00:00
..
acpica	Consistently use round_page(x) rather than roundup(x, PAGE_SIZE). There is	2013-02-15 22:43:08 +00:00
amd64	Retire smp_active. It was racey and caused demonstrated problems with	2014-04-26 20:27:54 +00:00
conf	Add vt_efifb to VT kernel configuration now that that actually works. This	2014-04-27 02:22:21 +00:00
ia32	x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)	2013-11-14 15:37:20 +00:00
include	Update EFI framebuffer handoff from loader	2014-03-27 19:43:38 +00:00
linux32	Update kernel inclusions of capability.h to use capsicum.h instead; some	2014-03-16 10:55:57 +00:00
pci	Fix undefined behavior: (1 << 31) is not defined as 1 is an int and this	2013-11-30 22:17:27 +00:00
vmm	A VMCS is always inactive when it exits the vmx_run() loop.	2014-04-26 22:37:56 +00:00
Makefile