>>>>> "ALVI" == ALVI Aslam (MORPHO) <[email protected]> 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)
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
