History log of /seL4-l4v-10.1.1/seL4/src/plat/bcm2837/linker.lds
Revision Date Author Comments
# 5f1d63be 03-Jun-2018 Sebastian Holzapfel <seb.holzapfel@data61.csiro.au>

rpi3/aarch64: update linker script & relocate PHYS_BASE

rpi3 documentation states RAM *should* be mapped from 0x00000000 onwards,
but we omit the start of physical memory as it caused early boot issues
on access. Instead use u-boot's default kernel load address as PHYS_BASE.


# 40c61e5c 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses (the rest)


# 41ec5cf7 21-Aug-2016 Kent McLeod <kent.mcleod@nicta.com.au>

SELFOUR-537: Support for raspberry pi3