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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
