Re: Trying to run L4Linux on Cubietruck

Yiyang Su <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <DB5PR02MB08400B2F0B24F8E8ECDAACD4C8640@DB5PR02MB0840.eurprd02.prod.outlook.com>
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.

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.