Hello, I am a student of Zhejiang University, currently researching on porting Codezero 0.3 to the x86 architecture. As part of my work I was interested in getting a Microkernel running on the x86 processor. My board is EMB-4650 (Intel Menlow processor). And also we would port the real-time scheduler of RTXen to the Codezero. But at the starting, we failed, the build is automated heavily based on the build.py. Could you please send me the necessary architecture specific parts in the code that I would have to port from ARM to x86. I would be thankful for the support from you. Thank you.
Kevis
_______________________________________________ codezero-devel mailing list codezero-devel@lists.l4dev.org http://lists.l4dev.org/mailman/listinfo/codezero-devel_lists.l4dev.org