rumprun_hello app is not working

[mincheolsung]

I added a comment in https://github.com/seL4/camkes-manifest/issues/5, but the issue was closed so I'd like to post it as a new issue.

I tried to run rumprun_hello with camkes but the rumprun crashed with errors:

[email protected]:608 simple_get_extended_bootinfo_length not implemented [email protected]:149 Unimplemented [email protected]:47 Failed to allocate cslot: error -1 [email protected]:306 [Cond failed: res != 0] Failed to allocate notification object

I confirmed that this patch (https://github.com/seL4/camkes-tool/pull/41) was applied in my camkes-tool. How can I fix this?