rumprun_hello app not working

[dinukaamarasinghe817]

Hi,

I've recently used camkes-manifest to run the rumprun_hello application and got following error.

`Booting all finished, dropped to user space
simple_get_extended_bootinfo_length@simple.h:614 simple_get_extended_bootinfo_length not implemented
vka_cspace_alloc@vka.h:155 Unimplemented
vka_alloc_object_at_maybe_dev@object.h:53 Failed to allocate cslot: error -1
init_rumprun@entry.c:306 [Cond failed: res != 0]
Failed to allocate notification object

`

I saw the issue was there somewhere around 2020 and @kent-mcleod pushed some fixes claiming those were tested with the rumprun application. But it seems like that didn't fix the issue. Any sugessions to solve this?