L4Linux CONFIG_MTRR must not be enabled

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Jun 1 23:34:42 CEST 2017


Hi,

On Fri Jun 02, 2017 at 00:56:51 +0800, 翟翔 wrote:
> Hi L4 hackers,
> 
> When I am building L4Linux https://l4linux.org/build.shtml
> 
> make O=build menuconfig

Please use a defconfig for the initial setup, e.g.:

make O=build x86_32-native_defconfig


That should get the options right.



Adam




More information about the l4-hackers mailing list