Usually on pi the kernel image is called kernel.img, kernel7.img or kernel8.img unless otherwise specified in your config.txt file. You can either rename your zimage to kernel.img (or similar) or add kernel=zImage in your config.txt.
https://www.raspberrypi.org/documentation/configuration/config-txt/boot.md This may also be different in you are using uboot to load the kernel. I'm assuming you are using the raspberry Pi bootloader only. Greg Original Message From: [email protected] Sent: April 25, 2018 3:16 AM To: [email protected] Subject: [Xenomai] question on installing xenomai 3 on raspberry pi 3 Hi I am trying to install xenomai 3 on raspberry pi 3B and would like to know where exactly should I put the compiled kernel image on the SD card. I have downloaded xenomai v.3.0.2 compiled the kernel by make ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- zImage modules dtbs Now I just need to copy the zImage and the device tree to the microSD card. But whether I copied to sudo cp arch/arm/boot/zImage /boot/ or I tried to copy to sudo cp arch/arm/boot/zImage /media/${USER}/boot I cannot get a successful reboot from the new Kernel image. I will either get a black screen after I restart the computer or get a warning after sometime for a normal boot. The error code is like this end kernel panic : attempted to kill init! Exitcode =0x000000b–not syncing I believe this is not a xenomai problem but rather a kernel compiling issue or even a SD issue. But I have tried several ways by searching online and have not had any luck yet. Please let me know if you have any suggestions or webpage that I can refer to. Thank you so much for your time! Best, Yuan _______________________________________________ Xenomai mailing list [email protected] https://xenomai.org/mailman/listinfo/xenomai _______________________________________________ Xenomai mailing list [email protected] https://xenomai.org/mailman/listinfo/xenomai
