Armadilloフォーラム

お世話になります。
初歩的な質問で申し訳ありません。

Armadillo-840 のカーネルは、fork や 共有ライブラリなども使える普通の Linuxカーネル(※) ですか。
※uclinuxカーネルではない。
　MMU有効。機能削減しファイルサイズを小さくしているだけで、特に組込み用ではない。
　http://armadillo.atmark-techno.com/faq/linux-vs-uclinux

atmark-dist が uclinux-dist をベースにしているのは、マニュアルから分かります。
しかし、カーネルはlinuxカーネルとしか書かれていません。
同じカーネルで、Debian も起動することから、PC起動のLinuxと同じようなLinuxカーネルではないかと
私は思っています。間違っていますか。

この質問はどちらでもよいのですが、uclinuxカーネルを使用しているArmadilloボードは
Armadillo-J以外に存在しますか。

初歩的なご質問で申し訳ありません。
よろしくお願いします。