Hi Miriam, What platform are you targeting on RISC-V? I was able to get the tutorial working when doing `./init —tut untyped —solution` and targeting the Spike platform. `seL4_Untyped_Retype` is not architecture dependent, so should work on RISC-V.
Ivan > On 7/05/2022, at 3:13 AM, [email protected] wrote: > > 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.>> > [email protected]: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 -- [email protected] > To unsubscribe send an email to [email protected] _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
