Se conosco astrobeed, posso con ragionevole certezza affermare che starà senz'altro sviluppando una scheda Arduino compatibile con un'Aria G25 al posto dell'Atmega328

No, Linuxino è un sistema Linux Embedded, e come tale non ha nulla a che vedere, dal punto di vista Hardware, con Arduino, la scheda avrà dimensioni di 90x85 mm e sopra c'è Aria G25, i connettori USB, il connettore Ethernet, lo stadio di alimentazione, due doppie file (20x2) di connettori per poterci montare sopra una shield (niente a che vedere con quelle di Arduino), inoltre è previsto l'alloggiamento per la Daisy 24 (opzionale), il tutto è fatto in modo da entrare perfettamente in un box metallico della Teko per il quale saranno disponibili i pannelli di chiusura prefresati sia per il posteriore (connettori) che per il frontale (Display, o neutro se non si monta).
Saranno disponibili fin da subito due shield 1000 fori, una classica a passo 2.54 e una specifica per smd a passo 1.27, probabilmente realizzerò anche una shield Arduino, ovvero una shield con sopra l'Atmega 328, e relativi connettori standard, da montare su Linuxino.
L'idea è di realizzare una serie di applicazione, da qui "Linuxino meet Arduino", dove si utilizza Arduino assieme a Linuxino per ottenere tutte quelle funzionalità superiori non disponibili su Arduino.
Esempio pratico, la gestione di un flusso video HD real time dove Arduino controlla il posizionamento della camera tramite un supporto pan titl mosso tramite due servo e Linuxino oltre a rendere disponbile in streaming il video passa ad Arduino gli "ordini" per posizionare i servo tramite una interfaccia Web.
Tra qualche giorno apro il topic che ho annunciato dove troverete tutti i dettagli di Linuxino, inclusa l'anteprima 3D (disponibilità prevista per metà Marzo), e il primo progetto di questa unione tra i due mondi, nel tempo ne seguiranno molti altri, ovviamente tutti open source.
Quasi sicuramente sarà possibile compilare gli sketch di Arduino direttamente dalla G25, ovviamente solo tramite riga di comando, e caricarli tramite USB, ci sto già lavorando sopra, però non è una cosa che sarà pronta a breve, in tutti i casi, come minimo, sarà possibile inviare uno sketch tramite ethernet/WiFi e caricarlo su Arduino dalla G25 tramite USB o seriale (per le stand alone).