Vagrantでカーネル・ソースを読むための環境を整える

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