Dear seL4 devs and community,
I'm trying to do the seL4-tutorials on a RISC-V architecture.
Now I'm stuck on the untyped tutorial.
I tried to run the solution of the tutorial but I get the following error:
<<seL4(CPU 0) [decodeUntypedInvocation/128 T0xffffffc17fee7200 "rootserver"
@103fc]: Untyped Retype: Destination cap invalid or read-only.>>
main@main.c:48 [Cond failed: error != seL4_NoError]
Failed to retype
seL4 root server abort()ed
Debug halt syscall from user thread 0xffffffc17fee7200 "rootserver"
halting...
I'm calling the function as follows:
seL4_Untyped_Retype(parent_untyped,
seL4_UntypedObject, // type
untyped_size_bits, //size
seL4_CapInitThreadCNode, // root
0, // node_index
0, // node_depth
child_untyped, // node_offset
1 // num_caps
);
parent_untyped = info->untyped.start + i (where i is incremented until
(info->untypedList[i].sizeBits >= untyped_size_bits &&
!info->untypedList[i].isDevice)
untyped_size_bits = seL4_TCBBits+1
child_untyped = info->empty.start
It seams as if the function is not allowed for RISC-V.
I don't know where the problem lies and I would appreciate any help or ideas.
Best regards
Miriam
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
