armv7: Move distributor driver to userspace
authorLukas Humbel <lukas.humbel@inf.ethz.ch>
Thu, 13 Dec 2018 14:20:16 +0000 (15:20 +0100)
committerLukas Humbel <lukas.humbel@inf.ethz.ch>
Thu, 13 Dec 2018 14:20:16 +0000 (15:20 +0100)
commitde574cefd41fcf0fd8e0ea6b694ce1e99dd4c68a
treeaf5132ee11b7cc41a7cd159cda21717eabc2eb27
parentfed5e90d33e8dc454ea90d309a4487d5b3476f51
armv7: Move distributor driver to userspace

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
47 files changed:
devices/Hakefile
devices/pl130_gic_cpuif.dev [new file with mode: 0644]
devices/pl130_gic_dist.dev [moved from devices/pl130_gic.dev with 79% similarity]
hake/menu.lst.armv7_a15a7ve
hake/menu.lst.armv7_a15ve_1
hake/menu.lst.armv7_a15ve_2 [new file with mode: 0644]
hake/menu.lst.armv7_a15ve_4
hake/menu.lst.armv7_a15ve_fvp_1
hake/menu.lst.armv7_a15ve_fvp_4
include/barrelfish/debug.h
include/barrelfish/sys_debug.h
include/barrelfish_kpi/sys_debug.h
include/int_route/int_route_debug.h
kernel/Hakefile
kernel/arch/arm/exn.c
kernel/arch/arm/gic.c
kernel/arch/arm/gic_v3.c
kernel/arch/arm/irq.c
kernel/arch/armv7/init.c
kernel/arch/armv7/paging.c
kernel/arch/armv7/plat_a15mpcore.c
kernel/arch/armv7/plat_a9mpcore.c
kernel/arch/armv7/syscall.c
kernel/arch/armv8/exn.c
kernel/arch/armv8/plat_rpi3.c
kernel/include/arch/arm/platform.h
lib/barrelfish/sys_debug.c
lib/driverkit/dcontrol_service.c
lib/driverkit/ddomain_service.c
lib/driverkit/debug.h
lib/driverkit/modules.c
lib/int_route/Hakefile
lib/int_route/server/standalone.c [new file with mode: 0644]
platforms/Hakefile
usr/drivers/domain/Hakefile
usr/drivers/omap44xx/pl130_dist/Hakefile [new file with mode: 0644]
usr/drivers/omap44xx/pl130_dist/debug.h [new file with mode: 0644]
usr/drivers/omap44xx/pl130_dist/main.c [new file with mode: 0644]
usr/kaluga/armv7.c
usr/kaluga/armv7_startup.c
usr/kaluga/device_caps.c
usr/kaluga/driver_startup.c
usr/kaluga/driver_startup.h
usr/kaluga/main.c
usr/skb/programs/plat_VE_A15x1.pl
usr/skb/programs/plat_VE_A15x2.pl [new file with mode: 0644]
usr/skb/programs/plat_VE_A15x4.pl