Hello,
I just have a small question because I found the documentation about booting
the Sel4 on RISC-V systems a bit confusing and not answering my questions.
1) I have ported all necessary code and I have successful compiled the
`sel4test`.
2) I have flashed a SPL and U-Boot to 'mmc' which was built including OpenSBI
fw_dynamic.bin but against most recent version (Sel4 was also compiled against
most recent version OpenSBI v1.2 U-Boot SPL 2022.10-38338-g528ae9bc6c-dirty
(Jan 11 2023 - 01:07:54 +0100)).
3) SPL and U-boot runs perfectly.
4) Sel4 does not want to boot. Why?
So, in the DTS which I extracted from SDK it is said:
`
/memreserve/ 0x40000000 0x200000; /* opensbi */
/memreserve/ 0x42000000 0x100000; /* dsp used 1MB */
memory@40000000 {
device_type = "memory";
reg = <0x0 0x40000000 0x0 0x8000000>;
};
`
For the elfloader objdump reports the `_start at 0x40a21000` so I hardcoded it
into the following
#define CONFIG_BOOTCOMMAND \
"if mmc rescan; then " \
"echo SD/MMC found on device ${mmc_dev};" \
"fatload mmc 0 0x40a21000 elfloader;" \
"fatload mmc 0 0x40a27940 archive.archive.o.cpio;" \
"bootelf 0x40a21000;" \
"fi;" \
And it reported an error:
"Unhandled exception: Load access fault
EPC: 000000007ffbd308 RA: 000000007ffbd33a TVAL: 00000005c66db5aa
EPC: 0000000042e50308 RA: 0000000042e5033a reloc adjusted
Code: 69a2 6145 8082 7480 1793 0069 9426 943e (641c)
resetting ..."
It seems that it relocates itself to 42e5033a (or not?) what actually I was
trying to do manually.
U-boot reports (for the domain0) the next address which is 0x0000000042e00000.
And when I am loading elfloader there, it exists back to uboot shell without
any errors and nothing happens.
I can not understand what I am doing wrong, because FreeBSD and Linux starts
normally.
The #define seL4_UserTop is generated from DTS file if I understood correctly.
But it seems it is incorrect.
I will be happy for any hint. Thank you.
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
