Initial AArch64/ARMv8 skeleton.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 1 Jun 2015 08:16:21 +0000 (10:16 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 3 Jun 2015 14:59:55 +0000 (16:59 +0200)
commit9dec7677dd37635562b075aca954d23566cdd51d
tree3c34986ad71cc6579c705e2ce9adaf729ca0b7d0
parent34590805cf61bcba0e2cf55494fda73ab321682f
Initial AArch64/ARMv8 skeleton.

This includes enough code and definitions to generate all *.depend files for
AArch64/ARMv8 and to build a mostly empty cpu driver for the Applied Micro
X-Gene 1 (apm88xxxx) SoC.

Note: the definitions should be taken with a large grain of salt, some of them
are not updated for AArch64/ARMv8.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
68 files changed:
hake/ARMv8.hs [new file with mode: 0644]
hake/Args.hs
hake/RuleDefs.hs
if/arch/armv8.if [new file with mode: 0644]
if/platform/armv8.if [new file with mode: 0644]
include/arch/aarch64/barrelfish/bulk_transfer_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish/core_state_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish/cpu_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish/curdispatcher_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish/dispatcher_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish/invocations_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish/lmp_chan_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish/pmap_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish/syscall_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish_kpi/asm_inlines_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish_kpi/cpu_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish_kpi/dispatcher_shared_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish_kpi/flags_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish_kpi/generic_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish_kpi/lmp_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish_kpi/paging_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish_kpi/registers_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish_kpi/spinlocks_arch.h [new file with mode: 0644]
include/arch/aarch64/barrelfish_kpi/unknown_arch.h [new file with mode: 0644]
include/arch/aarch64/bench/bench_arch.h [new file with mode: 0644]
include/arch/aarch64/float.h [new file with mode: 0644]
include/arch/aarch64/machine/_limits.h [new file with mode: 0644]
include/arch/arm/barrelfish/cpu_arch.h
include/arch/arm/barrelfish_kpi/paging_arch.h
include/barrelfish/ump_impl.h
include/target/aarch64/barrelfish/dispatcher_target.h [new file with mode: 0644]
include/target/aarch64/barrelfish/pmap_target.h [new file with mode: 0644]
include/target/aarch64/barrelfish_kpi/dispatcher_shared_target.h [new file with mode: 0644]
include/target/arm/barrelfish_kpi/paging_arm_v8.h [new file with mode: 0644]
include/thc/thcinternal.h
include/trace/trace.h
kernel/Hakefile
kernel/arch/apm88xxxx/boot.S [new file with mode: 0644]
kernel/arch/apm88xxxx/init.c [new file with mode: 0644]
kernel/arch/apm88xxxx/paging.c [new file with mode: 0644]
kernel/arch/apm88xxxx/uart.c [new file with mode: 0644]
kernel/arch/armv8/exec.c [new file with mode: 0644]
kernel/arch/armv8/irq.c [new file with mode: 0644]
kernel/arch/armv8/kludges.c [new file with mode: 0644]
kernel/arch/armv8/kputchar.c [new file with mode: 0644]
kernel/arch/armv8/linker.lds.in [new file with mode: 0644]
kernel/arch/armv8/misc.c [new file with mode: 0644]
kernel/include/arch/aarch64/aarch64.h [new file with mode: 0644]
kernel/include/arch/aarch64/global.h [new file with mode: 0644]
kernel/include/arch/armv8/arch_gdb_stub.h [new file with mode: 0644]
kernel/include/arch/armv8/arm_hal.h [new file with mode: 0644]
kernel/include/arch/armv8/cp15.h [new file with mode: 0644]
kernel/include/arch/armv8/init.h [new file with mode: 0644]
kernel/include/arch/armv8/irq.h [new file with mode: 0644]
kernel/include/arch/armv8/kputchar.h [new file with mode: 0644]
kernel/include/arch/armv8/misc.h [new file with mode: 0644]
kernel/include/arch/armv8/offsets.h [new file with mode: 0644]
kernel/include/arch/armv8/paging_kernel_arch.h [new file with mode: 0644]
kernel/paging_generic.c
lib/barrelfish/include/arch/aarch64/arch/registers.h [new file with mode: 0644]
lib/barrelfish/include/arch/aarch64/arch/threads.h [new file with mode: 0644]
lib/crt/arch/aarch64/crt0.S [new file with mode: 0644]
tools/asmoffsets/asmoffsets.c
tools/flounder/Arch.hs
usr/init/init.c
usr/mem_serv/mem_serv.c
usr/mem_serv_dist/mem_serv.h
usr/monitor/include/arch/aarch64/monitor_invocations_arch.h [new file with mode: 0644]