Trying to run L4Linux on Cubietruck

Yiyang Su suyiyang at hotmail.com
Sat Sep 23 11:07:15 CEST 2017


Update some information.


I can boot l4linux. Two things occurred the boot problem:


(1) In "Kernel options" of Fiasco configuration the "Enable multi processor support" is by default built-in. In my case if i deactivate this option. Then the assertion failure is gone.


(2) In L4Linux configuration option "(0x00000000) Physical address of main memory" the value 0x00000000 should be kept as it is. My failure was that i changed it to other value, which occurred malloc error.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20170923/742865f2/attachment.html>


More information about the l4-hackers mailing list