Hi,
I'm in the process of porting seL4 to a cartesi-machine, which is basically a
riscv:rv64ima without PMP (at least for now).
after increasing the available memory 4G and a tweak in the elfloader to accept
the flattened device tree from OpenSBI I got the kernel to start[1], but with
errors.
Tried to boot a hello world and the sel4tests, both give pretty much the same
result.
I have a suspicion that the unsupported PMP may have something to do with this
but since I'm still pretty new to seL4 so I would like advice on how to debug
this further.
Best,
Marcelo
[1]
```
OpenSBI v0.9
____ _____ ____ _____
/ __ \ / ____| _ \_ _|
| | | |_ __ ___ _ __ | (___ | |_) || |
| | | | '_ \ / _ \ '_ \ \___ \| _ < | |
| |__| | |_) | __/ | | |____) | |_) || |_
\____/| .__/ \___|_| |_|_____/|____/_____|
| |
|_|
Platform Name : Cartesi
Platform Features : mfdeleg
Platform HART Count : 1
Platform IPI Device : aclint-mswi
Platform Timer Device : aclint-mtimer
Platform Console Device : htif
Platform HSM Device : ---
Platform SysReset Device : htif
Firmware Base : 0x80000000
Firmware Size : 260 KB
Runtime SBI Version : 0.3
Domain0 Name : root
Domain0 Boot HART : 0
Domain0 HARTs : 0*
Domain0 Region00 : 0x0000000002080000-0x00000000020bffff (I)
Domain0 Region01 : 0x0000000002000000-0x000000000207ffff (I)
Domain0 Region02 : 0x0000000080000000-0x000000008007ffff ()
Domain0 Region03 : 0x0000000000000000-0xffffffffffffffff (R,W,X)
Domain0 Next Address : 0x0000000080200000
Domain0 Next Arg1 : 0x000000017fff0000
Domain0 Next Mode : S-mode
Domain0 SysReset : yes
Boot HART ID : 0
Boot HART Domain : root
Boot HART ISA : rv64imasu
Boot HART Features : scounteren,mcounteren,time
Boot HART PMP Count : 0
Boot HART PMP Granularity : 0
Boot HART PMP Address Bits: 0
Boot HART MHPM Count : 0
Boot HART MIDELEG : 0x0000000000000222
Boot HART MEDELEG : 0x000000000000b109
ELF-loader started on (HART 0) (NODES 1)
paddr=[80200000..806e5037]
Loaded DTB from 17fff0000.
paddr=[84025000..84025fff]
ELF-loading image 'kernel' to 84000000
paddr=[84000000..84024fff]
vaddr=[ffffffff84000000..ffffffff84024fff]
virt_entry=ffffffff84000000
ELF-loading image 'sel4test-driver' to 84026000
paddr=[84026000..8445bfff]
vaddr=[10000..445fff]
virt_entry=1eef8
Enabling MMU and paging
Jumping to kernel-image entry point...
Init local IRQ
Bootstrapping kernel
Initialing PLIC...
Booting all finished, dropped to user space
/host/cartesi/kernel/src/kernel/faulthandler.c:156 :: Caught cap fault in send
phase at address 0
while trying to handle:
user exception 0x2 code 0
in thread 0xffffffc17feca200 "rootserver" at address 0x101f0
With stack:
0x333e70: 0x4
0x333e78: 0x3
0x333e80: 0x333ec0
0x333e88: 0x1f884
0x333e90: 0x333f30
0x333e98: 0x333f20
0x333ea0: 0x333f10
0x333ea8: 0x100000000
0x333eb0: 0x333f00
0x333eb8: 0x1f008
0x333ec0: 0x0
0x333ec8: 0x333f30
0x333ed0: 0x333f20
0x333ed8: 0x333f10
0x333ee0: 0x1
0x333ee8: 0x14540
```
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
