25 Jan
2024
25 Jan
'24
8:16 a.m.
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.joshy@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