13 Jun
2017
13 Jun
'17
7:31 p.m.
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