I don't have any faults if I use seL4_Recv instead (in a separate thread). It happens only if I use seL4_NBRecv and check the tag after it returns. I use AARCH64
On Wed, Jan 24, 2024 at 3:59 PM Alwin Joshy <alwin.jo...@unsw.edu.au> wrote: > Which architecture are you on and are you using the hardware debug API? I > think 4 is for debug exceptions. > > - Alwin > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems