Support for Raspberry-PI

[Torfinn Ingolfsen]

On Mon, 04 Jun 2012 11:57:18 -0700
Bakul Shah <bakul at bitblocks.com> wrote:

> Because no bsd runs on the raspi as yet but linux does!  There
> is no u-boot or netboot on it either. The GPU loads a file
> called kernel.bin from a FAT partition.  So the idea is you

FWIW, these are the files on said FAT partition (from the Debian 6.0.4 image for the Pi):
root at kg-v7# ls /mnt
arm128_start.elf    boot_enable_ssh.rc    issue.txt        loader.bin
arm192_start.elf    bootcode.bin        kernel.img        start.elf
arm224_start.elf    cmdline.txt        kernel_emergency.img

I don't know if start.elf, bootcode.bin or loader.bin is the actual "first stage" loader.
start.elf is just a copy of one of the armXXX_start.elf files; this sets up how much 
memory (of the 256 MB) for the CPU and how much for the GPU.

HTH
-- 
Torfinn Ingolfsen <torfinn.ingolfsen at getmail.no>