L4 Bootstrapper Build: #4 Wed Apr 1 02:14:05 PDT 2015, 4.7.4 Scanning up to 1024...
I want to run android on the pandaboard, and referece the URL of "android can not...
Dear Norman Feske, thank for your prompt reply. With your help,I can access the two...
BTW,I reply these messages on the web page in order to continuity are discussed,later...
Dear Norman Feske, As you said, I really need to modify the plicy of part_blk in...
Dear Norman Feske, thank you for your prompt reply. I study the reference document:...
hi everyone, I have run the two l4linux on pandaboard,but I cannot see the device...
In other words, I can not see the sdhc device node "/dev/block/block/mmcblock0p1"...
hi everyone, I have run the two l4linux on pandaboard,but I cannot see the device...
Thank you for your reply again,I saw the reference URL,I will focus on the progress...
Dear Norman Feske, thank you for your prompt reply I modified the config file,but...
Hi genode team, Can you help me to solve the above problem? thanks.
Hi every one I can run a l4linux on the panda(ES),but after I compile the genode-14.11...