Boot driver for ARM can now boot a pandaboard core.
authorGerd Zellweger <mail@gerdzellweger.com>
Tue, 11 Nov 2014 14:41:27 +0000 (15:41 +0100)
committerGerd Zellweger <mail@gerdzellweger.com>
Tue, 11 Nov 2014 14:41:27 +0000 (15:41 +0100)
commitde30396d831cc0d20ff8ed1226d6b9845da3a95b
tree0f4b207bfcba33a755e72cf588a4870e125e0461
parentd2d2aca700f4024ed532fb44be100ea39ebf944d
Boot driver for ARM can now boot a pandaboard core.
19 files changed:
include/arch/arm/barrelfish/invocations_arch.h
include/target/arm/barrelfish_kpi/arm_core_data.h
kernel/arch/arm_gem5/init.c
kernel/arch/arm_gem5/startup_arch.c
kernel/arch/armv7-m/init.c
kernel/arch/armv7/multiboot.c
kernel/arch/armv7/syscall.c
kernel/arch/omap44xx/init.c
kernel/arch/omap44xx/startup_arch.c
kernel/arch/x86_32/init.c
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/syscall.c
kernel/include/syscall.h
kernel/syscall.c
usr/drivers/cpuboot/armboot.c
usr/drivers/cpuboot/common.c
usr/drivers/cpuboot/main.c
usr/monitor/arch/armv7/boot.c
usr/monitor/include/arch/arm/monitor_invocations.h