basic armv7-m support
authorClaudio Föllmi <foellmic@student.ethz.ch>
Thu, 29 Aug 2013 07:49:46 +0000 (09:49 +0200)
committerClaudio Föllmi <foellmic@student.ethz.ch>
Thu, 29 Aug 2013 07:49:46 +0000 (09:49 +0200)
commite1634dc8885184c8ac9177259c4a2d6e088d4ae0
tree731621e9ef1d7aa2e7a5a4aa20a3933f14eecfc9
parentb2445f2544a22ee3122497fe87da7f0f4f1aa039
basic armv7-m support

added new hake architecture "armv7-m"
added armv7-m port of kernel and libbarrelfish
fixed small arm_molly issues with parsing paths containing '-'

the port does not actually handle interrupts yet, but scheduling, spawning, and starting processes works
this update does not yet contain the armv7-a code to start the m3 core
65 files changed:
hake/ARMv7_M.hs [new file with mode: 0644]
hake/Args.hs
hake/RuleDefs.hs
hake/menu.lst.armv7-m [new file with mode: 0644]
hake/symbolic_targets.mk
if/arch/armv7-m.if [new file with mode: 0644]
if/platform/armv7-m.if [new file with mode: 0644]
include/arch/arm/barrelfish_kpi/asm_inlines_arch.h
include/arch/arm/barrelfish_kpi/paging_arch.h
include/arch/arm/barrelfish_kpi/registers_pushed_arm_v7m.h [new file with mode: 0644]
include/omap44xx_map.h
include/target/arm/barrelfish_kpi/paging_arm_v7m.h [new file with mode: 0644]
kernel/Hakefile
kernel/arch/armv7-m/boot.S [new file with mode: 0644]
kernel/arch/armv7-m/exceptions.S [new file with mode: 0644]
kernel/arch/armv7-m/exec.c [new file with mode: 0644]
kernel/arch/armv7-m/exn.c [new file with mode: 0644]
kernel/arch/armv7-m/init.c [new file with mode: 0644]
kernel/arch/armv7-m/linker.lds.in [new file with mode: 0644]
kernel/arch/armv7-m/omap.c [new file with mode: 0644]
kernel/arch/armv7-m/paging.c [new file with mode: 0644]
kernel/arch/armv7/kludges.c
kernel/arch/armv7/kputchar.c
kernel/arch/armv7/syscall.c
kernel/arch/omap44xx/startup_arch.c
kernel/include/arch/armv7-m/arch_gdb_stub.h [new file with mode: 0644]
kernel/include/arch/armv7-m/arm.h [new file with mode: 0644]
kernel/include/arch/armv7-m/arm_core_data.h [new file with mode: 0644]
kernel/include/arch/armv7-m/arm_hal.h [new file with mode: 0644]
kernel/include/arch/armv7-m/armv7_syscall.h [new file with mode: 0644]
kernel/include/arch/armv7-m/cp15.h [new file with mode: 0644]
kernel/include/arch/armv7-m/exceptions.h [new file with mode: 0644]
kernel/include/arch/armv7-m/global.h [new file with mode: 0644]
kernel/include/arch/armv7-m/init.h [new file with mode: 0644]
kernel/include/arch/armv7-m/io.h [new file with mode: 0644]
kernel/include/arch/armv7-m/irq.h [new file with mode: 0644]
kernel/include/arch/armv7-m/ixp2800_uart.h [new file with mode: 0644]
kernel/include/arch/armv7-m/kernel_multiboot.h [new file with mode: 0644]
kernel/include/arch/armv7-m/kputchar.h [new file with mode: 0644]
kernel/include/arch/armv7-m/misc.h [new file with mode: 0644]
kernel/include/arch/armv7-m/offsets.h [new file with mode: 0644]
kernel/include/arch/armv7-m/paging_kernel_arch.h [new file with mode: 0644]
kernel/include/arch/armv7-m/phys_mmap.h [new file with mode: 0644]
kernel/include/arch/armv7-m/pl011_uart.h [new file with mode: 0644]
kernel/include/arch/armv7-m/spinlock.h [new file with mode: 0644]
kernel/include/arch/armv7-m/start_aps.h [new file with mode: 0644]
kernel/include/arch/armv7-m/startup_arch.h [new file with mode: 0644]
kernel/include/arch/armv7-m/ti_i2c.h [new file with mode: 0644]
lib/barrelfish/Hakefile
lib/barrelfish/arch/arm/dispatch.c
lib/barrelfish/arch/arm/entry.S
lib/barrelfish/arch/arm/pmap_arch.c
lib/barrelfish/arch/arm/syscall.S
lib/barrelfish/include/arch/arm/arch/registers.h
lib/crt/arch/arm/crt0.S
lib/newlib/newlib/libc/Hakefile
lib/spawndomain/arch/arm/spawn_arch.c
tools/arm_molly/build_data_files.sh
tools/arm_molly/build_multiboot.c
tools/arm_molly/molly_boot.S
usr/drivers/omap44xx/fdif/Hakefile
usr/init/init.c
usr/monitor/Hakefile
usr/monitor/arch/armv7/boot.c
usr/skb/skb_simple/Hakefile