Hauke Mehrtens 75fdf3ba01 x86: Add support for kernel 4.19 ... This adds initial support for kernel 4.19 to the x86 target. The patches and the kernel configurations were copied from kernel 4.14 and then refreshed. The legacy and the genode target will not support PAE any more because they use a CPU type which does not support PAE, the generic sub target still supports PAE. Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>		2019-01-12 22:40:36 +01:00
..
base-files/lib/preinit	x86/generic: add xen DomU support	2017-01-16 20:40:13 +01:00
profiles	x86: merge all geode based subtargets into one	2015-03-16 07:05:30 +00:00
config-4.14	x86: Refresh kernel 4.14 configuration	2019-01-12 22:40:12 +01:00
config-4.19	x86: Add support for kernel 4.19	2019-01-12 22:40:36 +01:00
target.mk	x86: enable fpu for all subtargets	2016-08-30 10:51:21 +02:00