RPI 3

[Diane Bruce]

On Sun, Jul 03, 2016 at 10:33:39PM -0400, Diane Bruce wrote:
> I've been poking at the RPi 3 using source and image from hardened BSD via
> Sean Webb trying to get our head of tree to boot RPi3
> 

Anyway, the reason head does not boot on RPi with the raspi u-boot is the
fbsdboot.bin lattera gave me does not like the elf start addresses given by
the kernel
the start address moved up due to the pmap changes and move of KERNBASE

Now you know. Next is to make it work.

> 
> ======= This works from hardened BSD
> N.B. I added the printf("ZZz cninit!\n"); after the cninit();
> 
> FreeBSD Raspberry Pi 3 loader
> Booting kernel at 0x200000, size 9787000
> DTB: 0xc47000 0xffffff8000a47000
> entry: 0x201000 9400003d ffffff8000a4a000
> ZZZ cninit!
> KDB: debugger backends: ddb
> KDB: current backend: ddb
> Copyright (c) 2013-2016 The HardenedBSD Project.
> 
> ...
> a readelf on working hardened bsd kernel
> readelf -a kernel
> 
>   Entry point address:               0xffffff8000001000
> ======= Non working from head
> 
> FreeBSD Raspberry Pi 3 loader
> Booting kernel at 0x200000, size 9539832
> DTB: 0xc0b000 0xffffff8000a0b000
> 
> N.B. *no* print out of entry
> 
> readelf -a kernel
>   Entry point address:               0xffff000000001000
> 
> Doing
> objcopy kernel kernel.fix --set-start=0xffffff8000001000
> readelf -a kernel.fix
>   Entry point address:               0xffffff8000001000
> 
> using kernel.fix with rpi3 boot
> FreeBSD Raspberry Pi 3 loader
> Booting kernel at 0x200000, size 9539832
> DTB: 0xc0b000 0xffffff8000a0b000
> entry: 0x201000 94000037 ffffff8000a0e000
> 
> *NOW* shows printout of "entry: " line but still does not boot.
> 
> ======
> 
> Still tracking this down.
> -- 
> - db at FreeBSD.org db at db.net http://www.db.net/~db

-- 
- db at FreeBSD.org db at db.net http://www.db.net/~db