armv7-m (heteropanda) builds.
authorDavid Cock <david.cock@inf.ethz.ch>
Fri, 28 Aug 2015 14:00:01 +0000 (16:00 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Fri, 28 Aug 2015 14:00:01 +0000 (16:00 +0200)
commit98ebc70360677d0a0d61d59fb6e8604a9df817f1
tree642640a4a1b7be60881e993dac687012941dd3b0
parent2630078cdd73d76fea4ba12524e2f7712e5de459
armv7-m (heteropanda) builds.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
14 files changed:
include/arch/arm/barrelfish/cpu_arch.h
include/arch/arm/barrelfish/syscall_arch.h
include/target/arm/barrelfish_kpi/paging_arm_v7m.h
kernel/arch/arm/syscall.c
kernel/arch/armv7-m/init.c
kernel/include/arch/armv7-m/irq.h
kernel/paging_generic.c
lib/term/client/client_blocking.c
lib/thc/Hakefile
lib/thc/thc.c
platforms/Hakefile
usr/drivers/cpuboot/armboot.c
usr/spawnd/Hakefile
usr/startd/Hakefile