j
k
j a
j l
Have you tried using spike as the platform?
As this shows: https://docs.sel4.systems/Hardware/spike.html
Back to the thread
Back to the list