On 13.06.2017 11:08, Alexander Boettcher wrote: > alex@max:~/sel4.git$ ARCH=x86 PLAT=pc99 SEL4_ARCH=ia32 make
it seems a ia32 only issue, using x86_64 succeeds. release SEL4_ARCH=ia32/x86_64 ------------------- 3.2.0 - ok/ok 4.0.0 - fails/ok 5.0.0 - fails/ok 5.1.0 - fails/ok 5.2.0 - fails/ok -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel