Oliver Schib d5381fb96d Add support for Intel IOMMU %!s(int64=10) %!d(string=hai) anos
..
config d5381fb96d Add support for Intel IOMMU %!s(int64=10) %!d(string=hai) anos
patches 47a0db9b74 default to 4.3, works fine with a patch on gdb h8/300 simulator %!s(int64=10) %!d(string=hai) anos
Config.in ce956d0f96 do not enable PCI in kernel by default %!s(int64=11) %!d(string=hai) anos
kernel.config a8cfd5d214 enable VDSO globally %!s(int64=11) %!d(string=hai) anos
kernel.control afab289b26 add some native build fixes (tested on Lemote notebook) %!s(int64=16) %!d(string=hai) anos