Date: Thu, 18 Sep 2014 15:58:29 +0800

...

From: XilongPei(???) pei_xilong@tongji.edu.cn To: "'Aniruddha Bhide'" aniruddha.360@gmail.com, "'Peter Chubb'" peter.chubb@nicta.com.au Cc: devel@sel4.systems Subject: [seL4] ??: x86 Bootable USB install Message-ID: 007c01cfd316$565647b0$0302d710$@tongji.edu.cn 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.