[Barrelfish] [Barrelfish-users] how to configure grub on ubuntu to allow barralfish

Timothy Roscoe troscoe at inf.ethz.ch
Mon May 24 15:56:30 MEST 2010


Mohammed, 

You should familiarize yourself with the Grub documentation - we
really can't teach you about the bootloader, as it's pretty well
documented by the authors already.  I'm guessing you need to edit your
menu.lst file. 

 -- Timothy Roscoe

At Mon, 24 May 2010 16:10:13 +0300, mohammed shambakey <shambakey1 at gmail.com> wrote:
> Dear all
> I want to configure grub on ubuntu 9.10 to allow barrelfish to appear in the
> menu list.
> I made a "barrelfish" folder under /boot and run the command "make install
> INSTALL_PREFIX=/boot/barrelfish", and it gave the following output:-
> 
> for m in x86_64/sbin/bcast x86_64/sbin/barriers x86_64/sbin/ring_barriers
> x86_64/sbin/bench x86_64/sbin/bfscope x86_64/sbin/bindtest
> x86_64/sbin/bomp_benchmark_cg x86_64/sbin/bomp_benchmark_ft
> x86_64/sbin/bomp_benchmark_is x86_64/sbin/chips x86_64/sbin/datagatherer
> x86_64/sbin/driver_msd x86_64/sbin/e1000n x86_64/sbin/echoserver
> x86_64/sbin/ehci x86_64/sbin/elver x86_64/sbin/fbdemo x86_64/sbin/fish
> x86_64/sbin/hpet x86_64/sbin/init x86_64/sbin/ipi_bench x86_64/sbin/loadgen
> x86_64/sbin/loadgen_1core x86_64/sbin/lpc_kbd x86_64/sbin/lpc_timer
> x86_64/sbin/lrpc_bench x86_64/sbin/lwip_generator x86_64/sbin/lwip_loopback
> x86_64/sbin/mem_affinity x86_64/sbin/mem_serv x86_64/sbin/memtest
> x86_64/sbin/monitor x86_64/sbin/multicast x86_64/sbin/nfstest
> x86_64/sbin/pc_bench x86_64/sbin/pc_bench_noload x86_64/sbin/pci
> x86_64/sbin/pixels x86_64/sbin/router x86_64/sbin/serial x86_64/sbin/skb
> x86_64/sbin/slideshow x86_64/sbin/spantest x86_64/sbin/cpu; do \
>       if [ ! -f /boot/barrelfish/$m ] || \
>           [ $(stat -c%Y $m) -ne $(stat -c%Y /boot/barrelfish/$m) ]; then \
>         echo Installing $m; \
>         mkdir -p /boot/barrelfish/$(dirname $m); \
>         install -p $m /boot/barrelfish/$m; \
>       fi; \
>     done;
> Installing x86_64/sbin/bcast
> Installing x86_64/sbin/barriers
> Installing x86_64/sbin/ring_barriers
> Installing x86_64/sbin/bench
> Installing x86_64/sbin/bfscope
> Installing x86_64/sbin/bindtest
> Installing x86_64/sbin/bomp_benchmark_cg
> Installing x86_64/sbin/bomp_benchmark_ft
> Installing x86_64/sbin/bomp_benchmark_is
> Installing x86_64/sbin/chips
> Installing x86_64/sbin/datagatherer
> Installing x86_64/sbin/driver_msd
> Installing x86_64/sbin/e1000n
> Installing x86_64/sbin/echoserver
> Installing x86_64/sbin/ehci
> Installing x86_64/sbin/elver
> Installing x86_64/sbin/fbdemo
> Installing x86_64/sbin/fish
> Installing x86_64/sbin/hpet
> Installing x86_64/sbin/init
> Installing x86_64/sbin/ipi_bench
> Installing x86_64/sbin/loadgen
> Installing x86_64/sbin/loadgen_1core
> Installing x86_64/sbin/lpc_kbd
> Installing x86_64/sbin/lpc_timer
> Installing x86_64/sbin/lrpc_bench
> Installing x86_64/sbin/lwip_generator
> Installing x86_64/sbin/lwip_loopback
> Installing x86_64/sbin/mem_affinity
> Installing x86_64/sbin/mem_serv
> Installing x86_64/sbin/memtest
> Installing x86_64/sbin/monitor
> Installing x86_64/sbin/multicast
> Installing x86_64/sbin/nfstest
> Installing x86_64/sbin/pc_bench
> Installing x86_64/sbin/pc_bench_noload
> Installing x86_64/sbin/pci
> Installing x86_64/sbin/pixels
> Installing x86_64/sbin/router
> Installing x86_64/sbin/serial
> Installing x86_64/sbin/skb
> Installing x86_64/sbin/slideshow
> Installing x86_64/sbin/spantest
> Installing x86_64/sbin/cpu
> 
> but when I restart, no barrelfihs is in the boot menu. When I looked at boot
> folder, I think that just creating a "barrelfish" folder and copying files
> to it is not enough, but I don't know what to do.
> 
> Please, if any one had completed installation on ubuntu 9.10, can you write
> down the steps?
> 
> Regards
> 
> Mohammed


More information about the Barrelfish-users mailing list