>>727
dkms ってヤツ使うと
カーネルが変わって、再ビルド必要に
なったら勝手にビルドしてくれるよ

TVチューナーのドライバーで
はじめて使ったんだけど
超便利