Turn serial driver into module and fix userspace GIC
authorLukas Humbel <lukas.humbel@inf.ethz.ch>
Wed, 20 Feb 2019 13:40:41 +0000 (14:40 +0100)
committerLukas Humbel <lukas.humbel@inf.ethz.ch>
Wed, 20 Feb 2019 13:40:41 +0000 (14:40 +0100)
commit4bccd3897808d2b6e43604041f44776cc678605f
tree01f8c7329ab5c92a974d99e40bbd4a4fbacfa953
parent20f16d78a8c003634443f445b4cedc8f45d9e3ae
Turn serial driver into module and fix userspace GIC

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
32 files changed:
hake/menu.lst.armv7_a15a7ve
hake/menu.lst.armv7_a15ve_1
hake/menu.lst.armv7_a15ve_2
hake/menu.lst.armv7_a15ve_4
if/monitor_blocking.if
include/barrelfish/invocations.h
kernel/arch/arm/irq.c
kernel/arch/armv7/syscall.c
kernel/arch/x86_64/irq.c
kernel/arch/x86_64/syscall.c
kernel/include/arch/armv7/irq.h
kernel/include/arch/x86_64/irq.h
lib/int_route/Hakefile
lib/int_route/client/client.c
lib/int_route/server/standalone.c
lib/term/server/server.c
platforms/Hakefile
usr/drivers/domain/Hakefile
usr/drivers/domain/main.c
usr/drivers/pl390_dist/main.c
usr/drivers/serial/Hakefile
usr/drivers/serial/basic_service.c
usr/drivers/serial/main.c
usr/drivers/serial/main_common.c [new file with mode: 0644]
usr/drivers/serial/main_module.c [new file with mode: 0644]
usr/drivers/serial/serial.h
usr/drivers/serial/serial_kernel.c
usr/drivers/serial/terminal_service.c
usr/kaluga/armv7.c
usr/kaluga/driver_startup.c
usr/kaluga/main.c
usr/monitor/monitor_rpc_server.c