I was currently understanding the RefOS but the current code which is present in GIT is not Buildable at all. But after doing some workaround by myself I was able to build it successfully.
While executing it on simulator for Kzm
1. Bootstrapping Kernel all finished successfully 2. Dropped to user Space successfully 3. RefOS initialize done successfully 4. Running RefOS Process Server failed
In the step 4 while running the Process server it failed while proc_config_new() Failed to spawn Process for Console_server.
So Far as per my debugging while coping and writing the elf Header it get failed while getting the capabilities. Excat error line vspace_internal.h line number 396.
I would be a great support if anybody help me to resolve the issue.
Thank You in advance Regards Aslam Alvi
"ALVI" == ALVI Aslam (MORPHO) email@example.com 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.