23 Jul
2019
23 Jul
'19
5:53 p.m.
Hi Austin, Glad to see that you resolved the locale issue.
After the project built successfully, I tired executing ./simulate and I got the following assertion:
Assertion failed: free_slot_end - free_slot_start >= CONFIG_CAPDL_LOADER_MAX_OBJECTS (../projects/camkes/capdl/capdl- loader-app/src/main.c: parse_bootinfo: 562)
As for this issue, you will need to pull the latest sources from Github . That issue was due to a stale CMake cache. You can read more about it via https://github.com/SEL4PROJ/sel4-tutorials/issues/30. Sincerely, Damon