[Barrelfish-users] Booting Barrelfish via pxe

[Priyaa Varshinee Srinivasan]

Hi,

I have been trying to boot barrelfish via pxe using syslinux and grub
legacy unsuccessfully for a week. I am a newbie to grub as well as
barrelfish.  Can someone please list the steps to load barrelfish via pxe
server. I would be very thankful.

-Anonymous
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20130524/6666f624/attachment.html