AtmarkTechno社製のarmadilloボード上で動くソフトウェアを扱っています。
メーカー公式にはサポートされないバージョンの Linux kernel やブートローダ、 RTOS等を置く予定です。