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.