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

trivial: fix a few arm builds

Browse source
This commit is contained in:
Anna Lyons 2016-08-08 13:20:38 +10:00
parent 652cafd729
commit d727922b97
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
include/plat/am335x/plat/machine/hardware.h
View file

@ -36,7 +36,7 @@ static const kernel_frame_t BOOT_RODATA kernel_devices[] = {
WDT1_PADDR,
WDT1_PPTR,
true /* armExecuteNever */
}
},
{
/* CMPER */
CMPER_PADDR,

4
include/plat/apq8064/plat/machine/hardware.h
View file

@ -18,7 +18,7 @@
#define physBase 0x80000000
#define kernelBase 0xe0000000
static const BOOT_RODATA kernel_devices[] = {
static const BOOT_RODATA kernel_frame_t kernel_devices[] = {
{
/* timer used as PIT */
TIMER_PADDR,
@ -44,7 +44,7 @@ static const BOOT_RODATA kernel_devices[] = {
true /* armExecuteNever */
#endif /* CONFIG_PRINTING */
}
}
};
/* Available physical memory regions on platform (RAM) */
/* NOTE: Regions are not allowed to be adjacent! */