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

ARM: Prepare hikey for aarch64

Browse source
This commit is contained in:
amrzar 2017-01-15 09:44:25 +11:00
parent 6428e959b4
commit acea60e3d6
7 changed files with 63 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
include/plat/hikey/plat/32/plat_mode/machine.h Normal file
View file

@ -0,0 +1,18 @@
/*
* Copyright 2016, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*
* This software may be distributed and modified according to the terms of
* the GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
*
* @TAG(D61_GPL)
*/
#ifndef __PLAT_MODE_MACHINE_H
#define __PLAT_MODE_MACHINE_H
#define IRQ_CNODE_BITS 12
#endif /* __PLAT_MODE_MACHINE_H */

22
include/plat/hikey/plat/32/plat_mode/machine/devices.h Normal file
View file

@ -0,0 +1,22 @@
/*
* Copyright 2016, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*
* This software may be distributed and modified according to the terms of
* the GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
*
* @TAG(D61_GPL)
*/
#ifndef __PLAT_MODE_MACHINE_DEVICES_H
#define __PLAT_MODE_MACHINE_DEVICES_H
/* These devices are used by the seL4 kernel. */
#define UART0_PPTR 0xfff01000
#define GIC_DISTRIBUTOR_PPTR 0xfff03000
#define GIC_CONTROLLER_PPTR 0xfff04000
#define ARM_DEBUG_MMAPPING_PPTR 0xfff05000
#endif /* __PLAT_MODE_MACHINE_DEVICES_H */

18
include/plat/hikey/plat/32/plat_mode/machine/hardware.h Normal file
View file

@ -0,0 +1,18 @@
/*
* Copyright 2016, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*
* This software may be distributed and modified according to the terms of
* the GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
*
* @TAG(D61_GPL)
*/
#ifndef __PLAT_MODE_MACHINE_HARDWARE_H
#define __PLAT_MODE_MACHINE_HARDWARE_H
#define kernelBase 0xe0000000
#endif /* __PLAT_MODE_MACHINE_HARDWARE_H */

3
include/plat/hikey/plat/machine.h
View file

@ -11,6 +11,7 @@
#ifndef __PLAT_MACHINE_H
#define __PLAT_MACHINE_H
#include <plat_mode/machine.h>
#define N_INTERRUPTS 160
@ -178,8 +179,6 @@ enum IRQConstants {
maxIRQ = 159
} platform_interrupt_t;
#define IRQ_CNODE_BITS 12
#define KERNEL_TIMER_IRQ INTERRUPT_COREINTER0
#include <arch/machine/gic_pl390.h>

6
include/plat/hikey/plat/machine/devices.h
View file

@ -17,11 +17,7 @@
#ifndef __PLAT_MACHINE_DEVICES_H
#define __PLAT_MACHINE_DEVICES_H
/* These devices are used by the seL4 kernel. */
#define UART0_PPTR 0xfff01000
#define GIC_DISTRIBUTOR_PPTR 0xfff03000
#define GIC_CONTROLLER_PPTR 0xfff04000
#define ARM_DEBUG_MMAPPING_PPTR 0xfff05000
#include <plat_mode/machine/devices.h>
#define GIC_PL390_CONTROLLER_PPTR GIC_CONTROLLER_PPTR
#define GIC_PL390_DISTRIBUTOR_PPTR GIC_DISTRIBUTOR_PPTR

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

@ -16,11 +16,11 @@
#include <arch/linker.h>
#include <plat/machine.h>
#include <plat/machine/devices.h>
#include <plat_mode/machine/hardware.h>
#define TIMER_CLOCK_HZ 1200000llu
#define physBase 0x20000000
#define kernelBase 0xe0000000
#define physBase 0x20000000
static const kernel_frame_t BOOT_RODATA kernel_devices[] = {
{

8
src/plat/hikey/machine/Makefile
View file

@ -10,11 +10,5 @@
DIRECTORIES += src/plat/hikey/machine
PLAT_C_SOURCES += machine/hardware.c
PLAT_C_SOURCES += machine/hardware.c machine/io.c
ifdef DEBUG
PLAT_C_SOURCES += machine/io.c
endif
ifdef RELEASE_PRINTF
PLAT_C_SOURCES += machine/io.c
endif