Clean merge of HP's ARMv8 code
authorDavid Cock <david.cock@inf.ethz.ch>
Mon, 16 Nov 2015 12:29:51 +0000 (13:29 +0100)
committerDavid Cock <david.cock@inf.ethz.ch>
Mon, 16 Nov 2015 12:29:51 +0000 (13:29 +0100)
commit146e4e089f7fcfbc58d0a9f7b52e7c9ed8f6ee12
treeb16cc95fce87185723c62463ac2ac1b42704e377
parentabea89f15f25ac93768212772b21e9fffeb1abee
Clean merge of HP's ARMv8 code

This adds support for an ARMv8 core running in the GEM5 simulator

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
188 files changed:
capabilities/caps.hl
hake/ARMv8.hs
hake/Args.hs
hake/Config.hs.template
hake/RuleDefs.hs
hake/Tools.hs
hake/hake.sh
hake/menu.lst.armv8_gem5 [new file with mode: 0644]
hake/symbolic_targets.mk
include/arch/aarch64/_fpmath.h [new file with mode: 0644]
include/arch/aarch64/arch/inttypes.h [new file with mode: 0644]
include/arch/aarch64/arch/setjmp.h [new file with mode: 0644]
include/arch/aarch64/arch/stdint.h [new file with mode: 0644]
include/arch/aarch64/barrelfish/bulk_transfer_arch.h
include/arch/aarch64/barrelfish/cpu_arch.h
include/arch/aarch64/barrelfish/invocations_arch.h
include/arch/aarch64/barrelfish/lmp_chan_arch.h
include/arch/aarch64/barrelfish/pmap_arch.h
include/arch/aarch64/barrelfish/syscall_arch.h
include/arch/aarch64/barrelfish_kpi/asm_inlines_arch.h
include/arch/aarch64/barrelfish_kpi/dispatcher_shared_arch.h
include/arch/aarch64/barrelfish_kpi/flags_arch.h
include/arch/aarch64/barrelfish_kpi/paging_arch.h
include/arch/aarch64/barrelfish_kpi/registers_arch.h
include/arch/aarch64/barrelfish_kpi/spinlocks_arch.h
include/arch/aarch64/barrelfish_kpi/unknown_arch.h
include/arch/aarch64/fenv.h [new file with mode: 0644]
include/arch/aarch64/float.h
include/arch/aarch64/machine/_limits.h
include/arch/aarch64/machine/endian.h [new file with mode: 0644]
include/barrelfish/ump_impl.h
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/cpu.h
include/barrelfish_kpi/distcaps.h
include/bitmacros.h [new file with mode: 0644]
include/elf/elf.h
include/target/aarch64/barrelfish/pmap_target.h
include/target/aarch64/barrelfish_kpi/arm_core_data.h [new file with mode: 0644]
include/target/aarch64/barrelfish_kpi/paging_arm_v8.h
include/thc/thcinternal.h
include/trace/trace.h
kernel/Hakefile
kernel/arch/apm88xxxx/init.c [deleted file]
kernel/arch/arm/gem5/gem5_serial.c [moved from kernel/arch/arm_gem5/gem5_serial.c with 94% similarity]
kernel/arch/arm/gem5/start_aps.c [moved from kernel/arch/arm_gem5/start_aps.c with 95% similarity]
kernel/arch/arm/gic.c [moved from kernel/arch/armv7/gic.c with 98% similarity]
kernel/arch/arm/integrator.c [copied from kernel/arch/arm_gem5/integrator.c with 99% similarity]
kernel/arch/arm/irq.c [moved from kernel/arch/armv7/irq.c with 98% similarity]
kernel/arch/arm/kputchar.c [moved from kernel/arch/armv7/kputchar.c with 94% similarity]
kernel/arch/arm/multiboot.c [moved from kernel/arch/armv7/multiboot.c with 100% similarity]
kernel/arch/arm/pl011_uart.c [moved from kernel/arch/arm_gem5/pl011_uart.c with 96% similarity]
kernel/arch/arm_gem5/init.c
kernel/arch/arm_gem5/paging.c
kernel/arch/armv5/init.c
kernel/arch/armv5/integrator.c [deleted file]
kernel/arch/armv5/kputchar.c [deleted file]
kernel/arch/armv5/phys_mmap.c [moved from kernel/arch/arm/phys_mmap.c with 99% similarity]
kernel/arch/armv5/startup_arch.c
kernel/arch/armv7-m/init.c
kernel/arch/armv8/apm88xxxx/boot.S [moved from kernel/arch/apm88xxxx/boot.S with 100% similarity]
kernel/arch/armv8/apm88xxxx/init.c [new file with mode: 0644]
kernel/arch/armv8/apm88xxxx/paging.c [moved from kernel/arch/apm88xxxx/paging.c with 100% similarity]
kernel/arch/armv8/apm88xxxx/uart.c [moved from kernel/arch/apm88xxxx/uart.c with 100% similarity]
kernel/arch/armv8/exec.c
kernel/arch/armv8/exn.c
kernel/arch/armv8/gem5/boot.S [new file with mode: 0644]
kernel/arch/armv8/gem5/init.c [new file with mode: 0644]
kernel/arch/armv8/gem5/paging_gem5.c [new file with mode: 0644]
kernel/arch/armv8/gem5/platform.c [moved from kernel/arch/arm_gem5/integrator.c with 85% similarity]
kernel/arch/armv8/irq.c [deleted file]
kernel/arch/armv8/kludges.c
kernel/arch/armv8/kputchar.c [deleted file]
kernel/arch/armv8/linker.lds.in
kernel/arch/armv8/misc.c
kernel/arch/armv8/paging.c [new file with mode: 0644]
kernel/arch/armv8/startup_arch.c [new file with mode: 0644]
kernel/arch/armv8/syscall.c [new file with mode: 0644]
kernel/arch/armv8/sysreg.S [new file with mode: 0644]
kernel/arch/omap44xx/init.c
kernel/arch/x86/multiboot.c
kernel/arch/xscale/kputchar.c [deleted file]
kernel/capabilities.c
kernel/include/arch/aarch64/misc.h [moved from kernel/include/arch/armv5/misc.h with 100% similarity]
kernel/include/arch/arm/gic.h [moved from kernel/include/arch/armv7/gic.h with 100% similarity]
kernel/include/arch/arm/misc.h [moved from kernel/include/arch/armv7-m/misc.h with 100% similarity]
kernel/include/arch/arm/pl011_uart.h [moved from kernel/include/arch/armv5/pl011_uart.h with 100% similarity]
kernel/include/arch/arm/spinlock.h [moved from kernel/include/arch/armv7-m/spinlock.h with 100% similarity]
kernel/include/arch/armv5/global.h [moved from kernel/include/arch/armv7/kputchar.h with 65% similarity]
kernel/include/arch/armv7-m/io.h [deleted file]
kernel/include/arch/armv7-m/ixp2800_uart.h [deleted file]
kernel/include/arch/armv7-m/phys_mmap.h [deleted file]
kernel/include/arch/armv7-m/pl011_uart.h [deleted file]
kernel/include/arch/armv7/io.h [deleted file]
kernel/include/arch/armv7/ixp2800_uart.h [deleted file]
kernel/include/arch/armv7/kernel_multiboot.h [deleted file]
kernel/include/arch/armv7/misc.h [deleted file]
kernel/include/arch/armv7/phys_mmap.h [deleted file]
kernel/include/arch/armv7/pl011_uart.h [deleted file]
kernel/include/arch/armv7/spinlock.h [deleted file]
kernel/include/arch/armv8/arch_gdb_stub.h
kernel/include/arch/armv8/arm_hal.h
kernel/include/arch/armv8/exceptions.h
kernel/include/arch/armv8/global.h [new file with mode: 0644]
kernel/include/arch/armv8/init.h
kernel/include/arch/armv8/kputchar.h [deleted file]
kernel/include/arch/armv8/misc.h [deleted file]
kernel/include/arch/armv8/offsets.h
kernel/include/arch/armv8/paging_kernel_arch.h
kernel/include/arch/armv8/start_aps.h [new file with mode: 0644]
kernel/include/arch/armv8/startup_arch.h [new file with mode: 0644]
kernel/include/arch/armv8/sysreg.h
kernel/include/arch/x86_32/kernel_multiboot.h [deleted file]
kernel/include/arch/x86_64/kernel_multiboot.h [deleted file]
kernel/include/arch/xscale/global.h [moved from kernel/include/arch/armv7-m/kputchar.h with 65% similarity]
kernel/include/arch/xscale/kputchar.h [deleted file]
kernel/include/arch/xscale/misc.h [deleted file]
kernel/include/arch/xscale/phys_mmap.h [deleted file]
kernel/include/capabilities.h
kernel/include/kernel_multiboot.h [moved from kernel/include/arch/armv7-m/kernel_multiboot.h with 100% similarity]
kernel/include/kputchar.h [moved from kernel/include/arch/armv5/kputchar.h with 100% similarity]
kernel/include/multiboot2.h [new file with mode: 0644]
kernel/paging_generic.c
kernel/syscall.c
lib/barrelfish/Hakefile
lib/barrelfish/arch/aarch64/debug.c [new file with mode: 0644]
lib/barrelfish/arch/aarch64/dispatch.c [new file with mode: 0644]
lib/barrelfish/arch/aarch64/entry.S [new file with mode: 0644]
lib/barrelfish/arch/aarch64/pmap_arch.c [new file with mode: 0644]
lib/barrelfish/arch/aarch64/sys_debug.c [new file with mode: 0644]
lib/barrelfish/arch/aarch64/syscall.S [new file with mode: 0644]
lib/barrelfish/arch/aarch64/syscalls.c [new file with mode: 0644]
lib/barrelfish/capabilities.c
lib/barrelfish/debug.c
lib/barrelfish/include/arch/aarch64/arch/registers.h
lib/barrelfish/include/arch/aarch64/arch/threads.h
lib/barrelfish/slot_alloc/single_slot_alloc.c
lib/barrelfish/vspace/arch/aarch64/layout.c [new file with mode: 0644]
lib/barrelfish/waitset.c
lib/bench/Hakefile
lib/crt/arch/aarch64/crt0.S
lib/elf/elf64.c
lib/newlib/newlib/libc/Hakefile
lib/newlib/newlib/libc/include/machine/ieeefp.h
lib/newlib/newlib/libc/sys/barrelfish/oldsys_morecore.c
lib/posixcompat/time.c
lib/spawndomain/Hakefile
lib/spawndomain/arch/aarch64/spawn_arch.c [new file with mode: 0644]
lib/spawndomain/spawn.c
lib/thc/thc.c
platforms/Hakefile
tools/aarch64_gem5/CacheConfig.py [new file with mode: 0644]
tools/aarch64_gem5/Caches.py [new file with mode: 0644]
tools/aarch64_gem5/aarch64-core.xml [new file with mode: 0644]
tools/aarch64_gem5/aarch64-fpu.xml [new file with mode: 0644]
tools/aarch64_gem5/aarch64.xml [new file with mode: 0644]
tools/aarch64_gem5/boot_emm.aarch64 [new file with mode: 0755]
tools/aarch64_gem5/gem5script.py [new file with mode: 0644]
tools/arm_molly/build_multiboot.c
tools/arm_molly/build_pandaboard_image.sh
tools/arm_molly/molly_boot32.S [moved from tools/arm_molly/molly_boot.S with 100% similarity]
tools/arm_molly/molly_boot64.S [new file with mode: 0644]
tools/arm_molly/molly_init32.c [copied from tools/arm_molly/molly_init.c with 100% similarity]
tools/arm_molly/molly_init64.c [moved from tools/arm_molly/molly_init.c with 66% similarity]
tools/arm_molly/molly_ld_script32.in [copied from tools/arm_molly/molly_ld_script.in with 100% similarity]
tools/arm_molly/molly_ld_script64.in [moved from tools/arm_molly/molly_ld_script.in with 87% similarity]
tools/asmoffsets/asmoffsets.c
tools/flounder/Arch.hs
tools/harness/builds.py
usr/drivers/cpuboot/Hakefile
usr/drivers/serial/Hakefile
usr/drivers/serial/serial_gem5.c [new file with mode: 0644]
usr/fish/Hakefile
usr/init/spawn.c
usr/kaluga/Hakefile
usr/kaluga/device_caps.c
usr/kaluga/driver_startup.c
usr/kaluga/main.c
usr/kaluga/omap_startup.c
usr/mem_serv/mem_serv.c
usr/mem_serv_dist/mem_serv.h
usr/monitor/Hakefile
usr/monitor/arch/aarch64/boot.c [new file with mode: 0644]
usr/monitor/arch/aarch64/inter.c [new file with mode: 0644]
usr/monitor/arch/aarch64/monitor_server.c [new file with mode: 0644]
usr/monitor/arch/aarch64/notify_ipi.c [new file with mode: 0644]
usr/monitor/domain.c
usr/monitor/include/arch/aarch64/notify_ipi.h [new file with mode: 0644]
usr/skb/skb_simple/Hakefile