Andrew Turner 979d76c948 Remove STARTUP_PAGETABLE_ADDR from the ARM configs and replace it with ...

memory at the end of the kernel.

This helps reduce the SoC and board specific configuration required.

Reviewed by:	bsdimp
Tested by:	jmg (armeb), br

2014-01-28 09:12:04 +00:00

..

zedboard

…

files.zynq7

…

std.zynq7

Remove STARTUP_PAGETABLE_ADDR from the ARM configs and replace it with

2014-01-28 09:12:04 +00:00

uart_dev_cdnc.c

Introduce grab and ungrab upcalls. When the kernel desires to grab the

2014-01-19 19:36:11 +00:00

zy7_bus_space.c

Correct license statements to reflect the fact that these files were all

2013-12-10 22:13:36 +00:00

zy7_devcfg.c

…

zy7_ehci.c

…

zy7_gpio.c

…

zy7_l2cache.c

…

zy7_machdep.c

…

zy7_reg.h

…

zy7_slcr.c

…

zy7_slcr.h

…