Dear Amit, First of all, thank you very very much for your so quick answer. I think it was the quickest asnwer I ever received in a forum! After your suggestion and using the bootloaders I compiled, everything runs fine! Great!
Now I will explore the additional examples of the toolkit, but I would like to anticipate the next level: In a post of some weeks ago, someone asks for a tutorial about how to modify the android kernel in order to have android running upon codezero microkernel. Is there any update about that? Anything in draft stage? By the way, I was really impressed when I saw the video with android running on codezero microkernel! Really great! Thanks a lot about sharing in open source the codezero project! I will surely come back to you... Thanks again! BR, F. _______________________________________________ codezero-devel mailing list codezero-devel@lists.l4dev.org http://lists.l4dev.org/mailman/listinfo/codezero-devel_lists.l4dev.org