Re: [seL4] RefOS Building and Execution Error

...

...

...

...

"ALVI" == ALVI Aslam (MORPHO) writes:

ALVI> I was currently understanding the RefOS but the current code ALVI> which is present in GIT is not Buildable at all. But after ALVI> doing some workaround by myself I was able to build it ALVI> successfully. Hi Alvi, There are two manifests in the refos-manifest github repository. If you use `working.xml' and compile with gcc-5 the result works. teh default manifest tries to grab the tip of tree for all the libraries; API changes in loibplatsupport and elsewhere mean that this no longer works. We have no resources to maintain refos at the moment. Try: mkdir refos-working cd refos-working repo init -m working.xml -b master -u https://github.com/seL4/refos-manifest repo sync make ia32_debug_defconfig make CC=gcc-5 make simulate-ia32 This worked for me today. Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)