RPI 3

[Diane Bruce]

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


======= 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