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
[email protected]
http://lists.l4dev.org/mailman/listinfo/codezero-devel_lists.l4dev.org
