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

Reply via email to