[Barrelfish-users] Setting Up grub for Barrelfish OS

ketan bhardwaj ketanbj at gmail.com
Tue Oct 6 13:40:19 MEST 2009

Hello all,

I am intersted in the instructions for setting grub for barrelfish OS
which as mentined in the readme are out of scope of readme.
please direct me to the correct documentation or link .
thanks in advance


More information about the Barrelfish-users mailing list