2013-11-14 Debian flash-kernel http://packages.debian.org/ja/sid/flash-kernel こんな仕組みがあるのね。 ドキュメントないのかしらん。 flash-kernel-installer http://packages.debian.org/ja/wheezy/flash-kernel-installer http://ftp.de.debian.org/debian/pool/main/f/flash-kernel/