Andriy Voskoboinyk 86d535ab47 Garbage collect AH_SUPPORT_AR5416 config option. ... It does nothing since r318857.		2019-01-25 13:48:40 +00:00
..
acpica
amd64	x86: Report per-cpu IPI TLB shootdown generation in ddb 'show pcpu' output.	2019-01-04 17:25:47 +00:00
cloudabi32
cloudabi64
conf	Garbage collect AH_SUPPORT_AR5416 config option.	2019-01-25 13:48:40 +00:00
ia32	Remove iBCS2, part2: general kernel	2018-12-19 21:57:58 +00:00
include	Add a custom implementation of cpu_lock_delay() for x86.	2018-11-05 22:54:03 +00:00
linux	linuxulator: fix stack memory disclosure in linux_sigaltstack	2019-01-21 16:25:40 +00:00
linux32	Fix errno values returned from DUMMY_XATTR linuxulator calls	2019-01-11 07:58:25 +00:00
pci	Do not flush cache for PCIe config window.	2018-10-18 20:49:16 +00:00
sgx
vmm	vmm(4): Mask Spectre feature bits on AMD hosts	2019-01-18 23:54:51 +00:00
Makefile