Refactored ARMv7-A code.
authorTimothy Roscoe <troscoe@inf.ethz.ch>
Mon, 30 May 2016 11:13:35 +0000 (13:13 +0200)
committerTimothy Roscoe <troscoe@inf.ethz.ch>
Mon, 30 May 2016 11:13:35 +0000 (13:13 +0200)
commit96d27a403807d05aefffd1f36978fd7e2aafefb8
treec21f30d6e1d921ccdbae8c47706e264d305bcf6c
parent2fdb1d2de42de24138ce8dbcf0641c484696e11e
Refactored ARMv7-A code.
Cleaner startup process.
Cleaner cross-platform portability (platform.h).
Removed ARMv5.
Removed ARMv7-m
Removed XScale
Changed kernel device paging interface and fixed bugs.

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>
156 files changed:
devices/Hakefile
devices/cortex_a9_gt.dev
devices/cortex_a9_scu.dev [new file with mode: 0644]
hake/ARMv5.hs [deleted file]
hake/ARMv7.hs
hake/ARMv7_M.hs [deleted file]
hake/Args.hs
hake/Config.hs.template
hake/Hakefile
hake/RuleDefs.hs
hake/XScale.hs [deleted file]
hake/hake.sh
hake/menu.lst.armv5 [deleted file]
hake/menu.lst.armv7-m [deleted file]
hake/menu.lst.xscale [deleted file]
hake/symbolic_targets.mk
include/arch/arm/barrelfish/cpu_arch.h
include/arch/arm/barrelfish_kpi/spinlocks_arch.h
include/arch/arm/omap44xx/device_registers.h
include/barrelfish_kpi/dispatcher_shared.h
include/omap44xx_map.h
include/target/arm/barrelfish_kpi/paging_arm_v7.h
include/vexpress_map.h [new file with mode: 0644]
kernel/Hakefile
kernel/arch/arm/exec.c
kernel/arch/arm/exn.c
kernel/arch/arm/gem5/gem5_serial.c [deleted file]
kernel/arch/arm/gem5/start_aps.c [deleted file]
kernel/arch/arm/gic.c
kernel/arch/arm/irq.c
kernel/arch/arm/kputchar.c
kernel/arch/arm/omap_uart.c [moved from kernel/arch/omap44xx/omap_uart.c with 50% similarity]
kernel/arch/arm/pl011.c [new file with mode: 0644]
kernel/arch/arm/pl011_uart.c [deleted file]
kernel/arch/arm/sp804.c [new file with mode: 0644]
kernel/arch/arm_gem5/boot.S [deleted file]
kernel/arch/arm_gem5/init.c [deleted file]
kernel/arch/arm_gem5/paging.c [deleted file]
kernel/arch/arm_gem5/startup_arch.c [deleted file]
kernel/arch/armv5/boot.S [deleted file]
kernel/arch/armv5/cp15.c [deleted file]
kernel/arch/armv5/exceptions.S [deleted file]
kernel/arch/armv5/init.c [deleted file]
kernel/arch/armv5/integrator.c [deleted file]
kernel/arch/armv5/kludges.c [deleted file]
kernel/arch/armv5/linker.lds.in [deleted file]
kernel/arch/armv5/paging.c [deleted file]
kernel/arch/armv5/phys_mmap.c [deleted file]
kernel/arch/armv5/pl011_uart.c [deleted file]
kernel/arch/armv5/startup_arch.c [deleted file]
kernel/arch/armv7-m/boot.S [deleted file]
kernel/arch/armv7-m/exceptions.S [deleted file]
kernel/arch/armv7-m/exec.c [deleted file]
kernel/arch/armv7-m/exn.c [deleted file]
kernel/arch/armv7-m/init.c [deleted file]
kernel/arch/armv7-m/linker.lds.in [deleted file]
kernel/arch/armv7-m/omap.c [deleted file]
kernel/arch/armv7-m/paging.c [deleted file]
kernel/arch/armv7/a9_gt.c [new file with mode: 0644]
kernel/arch/armv7/a9_scu.c [new file with mode: 0644]
kernel/arch/armv7/boot.S [moved from kernel/arch/omap44xx/boot.S with 95% similarity]
kernel/arch/armv7/gem5/integrator.c [deleted file]
kernel/arch/armv7/gem5/start_aps.c [deleted file]
kernel/arch/armv7/init.c [new file with mode: 0644]
kernel/arch/armv7/kludges.c
kernel/arch/armv7/omap44xx_spinlock.c [new file with mode: 0644]
kernel/arch/armv7/omap_usb.c [new file with mode: 0644]
kernel/arch/armv7/paging.c
kernel/arch/armv7/plat_omap44xx.c [new file with mode: 0644]
kernel/arch/armv7/plat_vexpress.c [new file with mode: 0644]
kernel/arch/armv7/startup_arch.c [moved from kernel/arch/omap44xx/startup_arch.c with 86% similarity]
kernel/arch/armv7/syscall.c [moved from kernel/arch/arm/syscall.c with 97% similarity]
kernel/arch/omap44xx/init.c [deleted file]
kernel/arch/omap44xx/omap.c [deleted file]
kernel/arch/omap44xx/paging.c [deleted file]
kernel/arch/omap44xx/spinlock.c [deleted file]
kernel/arch/omap44xx/start_aps.c [deleted file]
kernel/arch/xscale/boot.S [deleted file]
kernel/arch/xscale/ixp2800_integrator.c [deleted file]
kernel/arch/xscale/ixp2800_paging.c [deleted file]
kernel/arch/xscale/ixp2800_uart.c [deleted file]
kernel/arch/xscale/linker.lds.in [deleted file]
kernel/capabilities.c
kernel/include/arch/arm/gic.h
kernel/include/arch/arm/omap_uart.h [new file with mode: 0644]
kernel/include/arch/arm/pl011.h [new file with mode: 0644]
kernel/include/arch/arm/pl011_uart.h [deleted file]
kernel/include/arch/arm/sp804.h [new file with mode: 0644]
kernel/include/arch/arm/spinlock.h [deleted file]
kernel/include/arch/armv5/arch_gdb_stub.h [deleted file]
kernel/include/arch/armv5/arm_hal.h [deleted file]
kernel/include/arch/armv5/cp15.h [deleted file]
kernel/include/arch/armv5/exceptions.h [deleted file]
kernel/include/arch/armv5/global.h [deleted file]
kernel/include/arch/armv5/init.h [deleted file]
kernel/include/arch/armv5/irq.h [deleted file]
kernel/include/arch/armv5/offsets.h [deleted file]
kernel/include/arch/armv5/paging_kernel_arch.h [deleted file]
kernel/include/arch/armv5/phys_mmap.h [deleted file]
kernel/include/arch/armv5/start_aps.h [deleted file]
kernel/include/arch/armv7-m/arch_gdb_stub.h [deleted file]
kernel/include/arch/armv7-m/arm_hal.h [deleted file]
kernel/include/arch/armv7-m/cp15.h [deleted file]
kernel/include/arch/armv7-m/exceptions.h [deleted file]
kernel/include/arch/armv7-m/global.h [deleted file]
kernel/include/arch/armv7-m/init.h [deleted file]
kernel/include/arch/armv7-m/irq.h [deleted file]
kernel/include/arch/armv7-m/offsets.h [deleted file]
kernel/include/arch/armv7-m/paging_kernel_arch.h [deleted file]
kernel/include/arch/armv7-m/start_aps.h [deleted file]
kernel/include/arch/armv7-m/startup_arch.h [deleted file]
kernel/include/arch/armv7-m/ti_i2c.h [deleted file]
kernel/include/arch/armv7/a9_gt.h [new file with mode: 0644]
kernel/include/arch/armv7/a9_scu.h [new file with mode: 0644]
kernel/include/arch/armv7/arm_hal.h
kernel/include/arch/armv7/global.h
kernel/include/arch/armv7/init.h
kernel/include/arch/armv7/offsets.h
kernel/include/arch/armv7/omap44xx_spinlock.h [new file with mode: 0644]
kernel/include/arch/armv7/paging_kernel_arch.h
kernel/include/arch/armv7/platform.h [new file with mode: 0644]
kernel/include/arch/armv7/start_aps.h [deleted file]
kernel/include/arch/armv7/startup_arch.h
kernel/include/arch/xscale/arch_gdb_stub.h [deleted file]
kernel/include/arch/xscale/arm_hal.h [deleted file]
kernel/include/arch/xscale/cp15.h [deleted file]
kernel/include/arch/xscale/exceptions.h [deleted file]
kernel/include/arch/xscale/global.h [deleted file]
kernel/include/arch/xscale/init.h [deleted file]
kernel/include/arch/xscale/irq.h [deleted file]
kernel/include/arch/xscale/ixp2800_uart.h [deleted file]
kernel/include/arch/xscale/offsets.h [deleted file]
kernel/include/arch/xscale/paging_kernel_arch.h [deleted file]
kernel/include/arch/xscale/start_aps.h [deleted file]
kernel/include/serial.h
kernel/paging_generic.c
lib/barrelfish/Hakefile
lib/compiler-rt/lib/builtins/Hakefile
lib/compiler-rt/test/builtins/Unit/Hakefile
lib/gmp/Hakefile
lib/newlib/newlib/libc/machine/Hakefile
lib/posixcompat/Hakefile
lib/thc/Hakefile
platforms/Hakefile
usr/drivers/cpuboot/Hakefile
usr/drivers/omap44xx/fdif/Hakefile
usr/drivers/omap44xx/sdma/Hakefile
usr/drivers/omap44xx/sdma/main.c
usr/drivers/serial/omap44xx_serial.c
usr/kaluga/omap_startup.c
usr/monitor/Hakefile
usr/skb/skb_simple/Hakefile
usr/spawnd/Hakefile
usr/startd/Hakefile
usr/tests/filetests/Hakefile
usr/tests/nkm/Hakefile