RE: [ros-dev] How to boot using Grub