> > >This is where you took the source from, right? > >https://github.com/jameswalmsley/RaspberryPi-FreeRTOS > > >This is a 32-bit port of FreeRTOS, but Jailhouse uses the 64-bit ARMv8 > >on the RPi4. > > >I don't know if it's possible to switch back to 32-bit mode is possible, > >I guess Jan knows. >
Yes exactly, I am still looking for an alternative or just writing the scheduler myself. Thank you for your support Moustafa Noufale -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jailhouse-dev/b5e6d873-afd8-4c34-b264-34af763c9801n%40googlegroups.com.
