beh parti cercando informazioni sull' architettura della cpu poi compili un kernel o ne trovi uno gia adatto, forse openmoka ci puo andare...