Hello everybody,

I am a student from Munich and I am currently working on building some bare metal code for the Pandaboard M3 co-processor, while a Genode system, using the L4 kernel, is running on the A9. In order to load the bare metal application form the SD card I read some blocks using the sd_card driver. During the initialization of the driver the following output is produced: init] child "sd_card_drv" [init] RAM quota: 104722432 [init] ELF binary [init] priority: 0 [init] provides service Block [init] ram_quota=104722432 Warning: Quota exceeded! amount=81920, size=4069, consumed=81920

The Quota waring is coming from the allocator guard in 'repos/base/include/base/allocator_guard.h', but I have no idea which quota could have been exceeded, because the ram_quota should definitely be enough when reading only a few KiB. I would be grateful for any hints or ideas on why this is happening and how to solve this issue.

Thanks, Matthias Adams