Hi,

Can someone give me a guestimate (or better) on the minimum RAM and ROM footprints for ARM (lets say PBXA9) for genode-hw and genode+foc, to run a minimal printf program? 
Also, I wonder if there are other open source microkernels aimed at tiny memory footprints - can you suggest any?

Apologies if this question is too vague to answer.

Daniel