kib b20e21edec Hide kernel stuff from userspace. ... Sponsored by: Mellanox Technologies		2017-10-02 08:37:43 +00:00
..
acpica
amd64	To prepare for adding EFI runtime services support on arm64 move the	2017-10-01 19:52:47 +00:00
cloudabi32
cloudabi64	Keep top page on CloudABI to work around AMD Ryzen stability issues.	2017-08-02 13:08:10 +00:00
conf	Add MMCCAM-enabled kernel config for IMX6, reduce debug noice in MMCCAM kernels	2017-09-13 10:56:02 +00:00
ia32
include	Hide kernel stuff from userspace.	2017-10-02 08:37:43 +00:00
linux
linux32
pci
sgx	Fix module unload when SGX support is not present in CPU.	2017-08-18 14:47:06 +00:00
vmm	Save KGSBASE in pcb before overriding it with the guest value.	2017-08-24 10:49:53 +00:00
Makefile