Per come la vedo io il problema è ancora più complesso.
Un sistema operativo per come noi lo conosciamo è realmente un sistema molto complesso composto da una miriade di parti che in qualche modo devono funzionare in modo coordinato e perfezione è nemico della complessità.
Poi non e solo il codice del sistema operativo a dare problemi, contano anche (e molto) il compilatore utilizzato e la C library. Anche questi possono introdurre bachi micragnosissimi da risolvere.
In ogni caso qui non si parla di PC (per quanto il CORTEX 8 sia un micro di tutto rispetto), ma di un sistema embedded e real time, il che vuol dire che il sistema operativo sarà tirato all'osso, quindi più semplice e di conseguenza più affidabile.
In ogni caso dobbiamo solo aspettare (meglio ancora sarebbe partecipare al progetto) e vedere quello che uscirà. Per il resto dobbiamo sempre ricordarci che non ci voliamo sopra ai nostri modelli
.
Quindi con le dovute cautele si può sempre sperimentare.
Ciao.