[Barrelfish-users] Error when I boot Barrelfish via PXE/TFTP

[lvmengxuan]

I have a  question when I boot Barrelfish via PXE/TFTP . I copy kernel and
all modules to /tftpboot/ and I create a default file in
/tftpboot/pxelinux.cfg/ as follows:

=========

default menu.c32

menu barrelfish

timeout 30



label local

menu barrelfish

kernel kernel

append init mem_serv monitor chips skb pci serial fish

=========



And files in /tftpboot/ are as follows:



=========

tftpboot# ls -lR

.:

total 18588

-rwxr-xr-x 1 root root 1031658 2009-11-18 22:11 chips

-rwxr-xr-x 1 root root  971173 2009-11-18 22:11 fish

-rwxr-xr-x 1 root root 1083354 2009-11-18 22:10 init

-rwxr-xr-x 1 root root  391493 2009-11-18 22:10 kernel

-rwxrwxrwx 1 root root   48684 2009-11-18 21:33 mboot.c32

-rwxr-xr-x 1 root root 1025933 2009-11-18 22:11 mem_serv

-rwxrwxrwx 1 root root   54704 2009-11-18 21:33 menu.c32

-rwxr-xr-x 1 root root 1556191 2009-11-18 22:11 monitor

-rwxr-xr-x 1 root root 2809156 2009-11-18 22:11 pci

-rwxrwxrwx 1 root root   14776 2009-11-18 21:32 pxelinux.0

drwxrwxrwx 2 root root    4096 2009-11-18 22:20 pxelinux.cfg

-rwxr-xr-x 1 root root  991768 2009-11-18 22:11 serial

-rwxr-xr-x 1 root root 8976519 2009-11-18 22:11 skb



./pxelinux.cfg:

total 4

-rwxrwxrwx 1 root root 168 2009-11-18 22:20 default

=========



But when I boot Barrelfish by PXE/TFTP, it says that:

….

Loading

Invalid or currupt kernel image.

boot:



and then I type “kernel” after “boot:”



It says “Invalid or currupt kernel image.” Again



So could anybody tell me how to deal with this problem and how to boot
Barrelfish via PXE/TFTP successfully?





Thanks  a lot!



-Mengxuan Lv
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20091120/3dbd943e/attachment.html