Hello all, mostly Kent,
When I run the rumprun_hello app that's included in the CAmkES manifest, I
encounter the following runtime errors:
[...]
Booting all finished, dropped to user space
simple_get_extended_bootinfo_length@simple.h:608
simple_get_extended_bootinfo_length not implemented
vka_cspace_alloc@vka.h:149 Unimplemented
vka_alloc_object_at_maybe_dev@object.h:47 Failed to allocate cslot: error -1
init_rumprun@entry.c:306 [Cond failed: res != 0]
Failed to allocate notification object
This seems related to the simple->extended_bootinfo_len callback not being
implemented, which causes downstream failures in object allocation (e.g.
notification object). This issue appears specifically when running
Rumprun-based apps.
Would appreciate any insights or suggestions on how to resolve or properly set
up this functionality. Note that i haven't modified any of the code here. Just
tried to run the existing 'rumprun_hello' application.
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
