/Mateusz.Thanks,Do I even have to build l4, or do I only need fiasco for l4linux? (fiasco seems to build OK with the initial hardeningDisable = [ "all" ]; I tried.) Or none at all, just the sources?Can I skip building bootstrap32.elf somehow? Or should I not?ld: cannot find -lgccld: skipping incompatible /nix/store/...-gcc-5.4.0/lib/per https://github.com/NixOS/Hm; tried adding the following line:hardeningDisable = [ "stackprotector" "pic" ];nixpkgs/issues/18895 and https://github.com/NixOS/nixpkgs/issues/18995 . This now seems to get me through the bootstrap.elf linking phase! But it fails soon afterwards on bootstrap32.elf :-( with:gcc/x86_64-unknown-linux-gnu/ 5.4.0/libgcc.a when searching for -lgcc On Fri, Mar 24, 2017 at 10:06 PM, Mateusz Czaplinski <czapkofan@gmail.com> wrote:but none of the above helped.- adding NIX_CFLAGS_COMPILE = "-fno-stack-protector"; to the Nix expression/script (also not really sure where it applies in the stack);- adding V=0 to the last make (no idea what it does yet, just some cargo culting)I've tried various additional changes, based on some snippets found here and there on teh Internets, like:$ cp src/l4/mk/defconfig/config.amd$ mkdir out$ cd l4re-core-2016082114$ tar xf l4re-core-2016082114.tar.xz$ wget http://os.inf.tu-dresden.de/dobut what it generally boils down to is a sequence of commands like this:I've put up the precise Nix expression/script I'm using to build it on github - at:[bootstrap] ==> Linking bootstrap.elfI'm trying to build L4 on NixOS in a VM (long term goal: try to learn how to replace NixOS's kernel with L4Linux, then maybe Genode). I'm getting an error like below:during linking of bootstrap.elf - in a GCC's error-barf just after:
undefined reference to `__stack_chk_fail'
https://github.com/akavel/l4.nix/blob/0108dfcf8d84780e1ba884 c41ece0d2dbf4ddd84/l4re.nix wnload/snapshots/l4re-core-201 6082114.tar.xz 64 out/l4/.kconfig make -C src/l4 O=out/l4 olddefconfig
$
$ make -C out/l4
Any idea what I could try doing to push it further?Thanks,/Mateusz.