Re: [seL4] x86 Bootable USB install

...

...

...

...

"Yuxin" == Yuxin Ren writes:

Yuxin> Your method is great. But I meet some problems. The bootable Yuxin> usb works very well on laptop. But when I move to a large Yuxin> machine which has two sockets, and each socket has six cores(my Yuxin> laptop only has 2 cores), syslinux can only print out something Yuxin> like "loading kernel is ok", and after some seconds, the Yuxin> machine reboot. It just keeps rebooting again and again. I do Yuxin> not know why it is. Is it possible for syslinyx to reboot the Yuxin> machine if I have some incorrect configuration of it? Is it Yuxin> possible for the sel4 kernel to reboot the machine if it Yuxin> detects some error or I do not config sel4 correctly? Does it Yuxin> need some special configuration for sel4 with a machine which Yuxin> has mult-sockets multi-cores? If so, how to do it? Could Yuxin> anyone give me some hints? You can get debug output from the kernel by: 1. using one of the `debug' configurations, and 2. Specifying which console ports to use for debugging on the multiboot command line. You need to specify one per node. Something like: console_port=0x3f8,0x3f8 On a machine of that class, you may be able to look in the BMC logs to find the reboot cause. -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA