At Thu, 25 Jun 2015 17:39:32 +0900, bluesky wrote: > /etc/grub.d/40_custom > に Android-x86 の項目を追加し、 > sudo update-grub > を実行。grub メニューに Android-x86 も、一番最後に、現れています。 もう解決されたようですが、インストールされている他のOSを検出する処理 はos-proverパッケージが担っているので、そちらに報告すると今後は自動で処 理されるよう改善されるかもしれません。