Armadilloで動作している Linuxカーネルのバージョンは、「uname -a」コマンドで確認出来ます。 Linuxカーネル v3.4-at17 での実行例 [armadillo ~]# uname -a Linux armadillo840-0 3.4-at17 #1 PREEMPT Mon Feb 22 20:27:49 JST 2016 armv7l GNU/Linux