git.barrelfish.org Git - barrelfish/commit

author	David Cock <david.cock@inf.ethz.ch>
	Mon, 16 Nov 2015 12:29:51 +0000 (13:29 +0100)
committer	David Cock <david.cock@inf.ethz.ch>
	Mon, 16 Nov 2015 12:29:51 +0000 (13:29 +0100)
commit	146e4e089f7fcfbc58d0a9f7b52e7c9ed8f6ee12
tree	b16cc95fce87185723c62463ac2ac1b42704e377	tree \| snapshot
parent	abea89f15f25ac93768212772b21e9fffeb1abee	commit \| diff

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

Barrelfish OS git repo

RSS Atom