portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

armv8/tx1: Increase physical memory size for TX1.

Browse source
This commit is contained in:
Yanyan Shen 2018-03-05 15:35:03 +11:00
parent 5d3154da80
commit 151506c7bb
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
include/plat/tx1/plat/machine/hardware.h
View file

@ -49,8 +49,15 @@ static const kernel_frame_t BOOT_RODATA kernel_devices[] = {
/* Available physical memory regions on platform (RAM minus kernel image). */
/* NOTE: Regions are not allowed to be adjacent! */
/* The TegraBoot carveout memory regions starting from 0xff03f000, so we
* skip the 0xff000000 to 0xffffffff region. The carveout regions may change
* if the TegraBoot version changes, so keep an eye on the booting process
* if something strange happens.
*/
static const p_region_t BOOT_RODATA avail_p_regs[] = {
{ .start = 0x80000000, .end = 0xa7f00000 }
{ .start = 0x80000000, .end = 0xff000000 },
{ .start = 0x100000000, .end = 0x180000000 }
};
static const p_region_t BOOT_RODATA dev_p_regs[] = {