Hello,
I am trying to run a simple hello world project in seL4 RISC-V in QEMU. It
seems to hang at "Jumping to kernel-image entry point..." This same behavior
happens on sel4test as well. In the past this was due to a bios option in QEMU
changing. Is there something else going on here? I know seL4 uses OpenSBI
instead of BBL for RISC-V but is there something else in QEMU or some other
switch we need to add?
The commands I run are:
$ qemu-system-riscv64 -machine spike -cpu rv64 -nographic -serial mon:stdio -m
size=4095M -bios none -kernel images/sel4test-driver-image-riscv-spike
OpenSBI v0.8
____ _____ ____ _____
/ __ \ / ____| _ \_ _|
| | | |_ __ ___ _ __ | (___ | |_) || |
| | | | '_ \ / _ \ '_ \ \___ \| _ < | |
| |__| | |_) | __/ | | |____) | |_) || |_
\____/| .__/ \___|_| |_|_____/|____/_____|
| |
|_|
Platform Name : ucbbar,spike-bare,qemu
Platform Features : timer,mfdeleg
Platform HART Count : 1
Boot HART ID : 0
Boot HART ISA : rv64imafdcsuh
BOOT HART Features : pmp,scounteren,mcounteren
BOOT HART PMP Count : 16
Firmware Base : 0x80000000
Firmware Size : 96 KB
Runtime SBI Version : 0.2
MIDELEG : 0x0000000000001666
MEDELEG : 0x0000000000f0b509
PMP0 : 0x0000000080000000-0x000000008001ffff (A)
PMP1 : 0x0000000000000000-0xffffffffffffffff (A,R,W,X)
ELF-loader started on (HART 0) (NODES 1)
paddr=[80200000..8066a037]
Looking for DTB in CPIO archive...found at 802d2128.
Loaded DTB from 802d2128.
paddr=[84020000..84020fff]
ELF-loading image 'kernel' to 84000000
paddr=[84000000..8401ffff]
vaddr=[ffffffff84000000..ffffffff8401ffff]
virt_entry=ffffffff84000000
ELF-loading image 'sel4test-driver' to 84021000
paddr=[84021000..843f6fff]
vaddr=[10000..3e5fff]
virt_entry=1b982
Enabling MMU and paging
Jumping to kernel-image entry point...
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
