Linuxのカーネル・ソースを読みたくて、その環境をどこかで構築したいと思っていたのですが、AWSだと料金がかかるので、Vagrantを使ってサクッと環境構築してみました。 Vagrantは以前から利用しているのですが、しばらく使用しないでいるとコマンドを忘れて…