help with Nvidia Jetson Xavier port
27 Jan
2023
27 Jan
'23
1:31 a.m.
Hi, we are working on porting seL4 to the Nvidia Jetson Xavier. The kernel is booting, but then there are random crashes in user mode where the cores seem to stop completely within a minute, no crash output is visible. Our test applications are just doing some integer number crunching to create load, there are no drivers involved (besides a bit of UART output). It looks like this also happened to others, a similar problem was described in this post: https://forums.developer.nvidia.com/t/illegal-instruction-with-i-cache-disab... Did anybody get seL4 userland running stable there? Axel
643
Age (days ago)
643
Last active (days ago)
0 comments
1 participants
participants (1)
-
Axel Heider