[seL4] 答复: x86 Bootable USB install

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 发件人: Devel [mailto:devel-bounces@sel4.systems] 代表 Aniruddha Bhide 发送时间: 2014年9月18日 14:27 收件人: Peter Chubb 抄送: devel@sel4.systems 主题: Re: [seL4] x86 Bootable USB install Hi, Above steps given by Peter Chubb worked fine. I was able to get the output through serial port. But it executes the test suite and then stops. How can I get a shell prompt so that I can test the kernel for virtualization? My question may be completely wrong here but I'm new to this field. How can one use seL4 kernel to install virtual OS on top of it on x86 architecture? On Fri, Sep 5, 2014 at 5:10 AM, Peter Chubb wrote:

...

...

...

...

"Matthew" == Matthew Scaperoth writes:

Matthew> I am at the George Washington University working on Matthew> benchmarking the seL4 system. I am new to systems, and I am Matthew> having a hard time building a bootable USB image On Ubuntu Matthew> 14.04 x86. I understand that there is a Grub2 stanza on the Matthew> Downloads page https://sel4.systems/Download/ on the SeL4 Matthew> website, but I cannot find the sel4kernel and sel4rootserver Matthew> files in the system to build into a boot image. If you have built a seL4-based systemaccording to the instructions, the kernel and root server are in .../images/ They have different names according to what you've built. For example, sel4test names the root server sel4test-driver-image-ia32-pc99 and the kernel kernel-ia32-pc99 I generally use syslinux to create a bootable USB stick, as the grub on my system wants to use EFI. Like this, assuming your flash drive is at /dev/sdb with a FAT partition at /dev/sdb1: install-mbr /dev/sdb syslinux --install /dev/sdb1 mount /dev/sdb1 /mnt cp images/sel4test-driver-image-ia32-pc99 /mnt/rootserver cp images/kernel-ia32-pc99 /mnt/sel4kernel cat > /mnt/syslinux.cfg <http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel -- Aniruddha Bhide +919970010287