Closed zeroalphat closed 3 years ago
Hi @zeroalphat,
D/TC:3 init_secondary_helper:1133 Secondary CPU Switching to normal world boot D/TC:3 tee_entry_exchange_capabilities:101 Dynamic shared memory is disabled
At this point the kernel has started booting on CPU 0 and each secondary CPU has re-entered OP-TEE to initialize. So everything looks good from an OP-TEE point of view. I would think the reason you are not seeing any log from the kernel is some mis-consfiguration of the kernel console, bad kernel command line arguments perhaps?
Thanks for the quick reply. It is indeed possible that the kernel output is not being displayed on the serial console. Where can I find the settings for kernel console and kernel command line?
Perhaps in https://github.com/OP-TEE/build/blob/3.6.0/rpi3/firmware/uboot.env.txt? I will let people more familiar with the RPi board comment further.
Thank you very much. I'll try it.
This issue has been marked as a stale issue because it has been open (more than) 30 days with no activity. Remove the stale label or add a comment, otherwise this issue will automatically be closed in 5 days. Note, that you can always re-open a closed issue at any time.
After making the changes to OP-TEE, I followed the documentation to build and run it on a Raspberry Pi 3B. However, after the serial console shows "Starting kernel", there is no output and the Linux Kernel does not boot. I decided to enable earlyprintk by referring to other issue #3816. I tried to enable config_early_printk with
make menuconfig
, but earlyprintk was not enabled. I would like to know how to debug when the Linux Kernl does not boot.I've attached the boot log obtained through serial communication below.
The execution environment is as follows. OP-TEE 3.6 Board: Raspberry Pi 3B