Debianを入れた。

すんなりと。GRUBもきっちり。無線LANはよく分からないが、解像度の変更は分かった。

/etc/X11/XF86Config-4のSubsection "Display"にある"800x600"を"1024x768"に変更して、Gnomeの画面に入り、左上の足型のアイコンから[デスクトップの設定]-[画面の解像度]を選ぶ。

あとはEnterキーと無線LAN。