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
..
64	x86: Add support for kernel 4.19	2019-01-12 22:40:36 +01:00
base-files	x86: make sysupgrade.tgz reachable again	2018-12-03 07:38:20 +01:00
generic	x86: Add support for kernel 4.19	2019-01-12 22:40:36 +01:00
geode	x86: Add support for kernel 4.19	2019-01-12 22:40:36 +01:00
image	Revert "x86: add intel microcode entries to grub config"	2018-11-27 18:58:38 +01:00
legacy	x86: Add support for kernel 4.19	2019-01-12 22:40:36 +01:00
patches-4.14
patches-4.19	x86: Add support for kernel 4.19	2019-01-12 22:40:36 +01: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
Makefile	x86: Use kernel 4.14 by default	2018-02-18 19:51:58 +01:00
modules.mk