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
Which architecture are you on and are you using the hardware debug API? I think 4 is for debug exceptions.
- Alwin