>>>>> "Yuxin" == Yuxin Ren <[email protected]> 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
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
