memory allocations problems on kernel sel4

Pirmin Duss pirmin.duss at
Tue Feb 19 14:42:44 CET 2019

Hello Genodeans

I'm building a system similar to sculpt (a sub init for drivers, leitzentrale and runtime), that runs on iMX6. As kernel
I use sel4.

The static driver subsystem and the leitzentrale work without problems so far.

At first init starts a ram_fs and a part_block. Then the following components should be started vfs, noux, and three
chroot. This fails, as the runtime init can no longer allocate memory (see log below).

The runtime init has a RAM quota of 360M and the components to start use about 120M.

[init -> runtime] child "public_rw"
[init -> runtime]   RAM quota:  1896K
[init -> runtime]   cap quota:  68
[init -> runtime]   ELF binary: chroot
[init -> runtime]   priority:   0
[init -> runtime]   provides service File_system
Error: static Genode::addr_t Genode::Untyped_memory::alloc_pages(Genode::Range_allocator&, Genode::size_t): allocation
of untyped memory failed
Warning: unexpected exception during PD-session creation
[init -> runtime] Error: depot_rw: environment PD session denied (label="depot_rw", ram_quota=98304, cap_quota=13, diag=0)
Kernel: Thread 'ep' died because of an uncaught exception
[init -> runtime] Error: Uncaught exception of type 'Genode::Service_denied'
[init -> runtime] Warning: abort called - thread: ep
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x100
[init] child "runtime" exited with exit value 1

Might this be related to the following messages we also see in the log?

Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x40
The last number starts with 0x01 and increases as follows 0x02, 0x04, 0x10, 0x20, 0x40, 0x80, 0x100.

Tests on base-hw did not show any allocation errors.

Best regards,

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <>

More information about the users mailing list