> > Date: Thu, 18 Sep 2014 15:58:29 +0800 >> From: XilongPei(???) <[email protected]> >> To: "'Aniruddha Bhide'" <[email protected]>, "'Peter Chubb'" >> <[email protected]> >> Cc: [email protected] >> Subject: [seL4] ??: x86 Bootable USB install >> Message-ID: <[email protected]> >> Content-Type: text/plain; charset="utf-8" >> Hi, >> I am at Tongji University (China, http://www.tongji.edu.cn/english/ ), I >> want to build a Fault Tolerant Operating System for high speed railway. >> >> The seL4 is just a micro-kernel operating system, there is still no >> centre-service to let it work as a PC operating system, and it still can?t >> work as a virtual-machine, such as VirtualBox. There are a lot of works >> should be done before seL4 used as a really operating system. >> >> Xilong Pei >> 2014/9/18 > > > > You are correct. seL4 is a microKernel upon which an operating system could be built. Instead of writing a proprietary OS for your high speed railway (of which there are several already in operation, e.g in France, Germany) you might want to consider porting an existing OS to run on top of seL4, or even better build your specific requirements on top of a robust OS such as those found at http://cog.systems/products.shtml.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
