Added: New architecture to targets / arch folders and hake files
authorReto Achermann <acreto@student.ethz.ch>
Sun, 23 Mar 2014 21:13:53 +0000 (22:13 +0100)
committerStefan Kaestle <stefan.kaestle@inf.ethz.ch>
Wed, 20 Aug 2014 13:27:56 +0000 (15:27 +0200)
commit5b226c6ab0b96d1cf58577d4e53eb04ced8fc038
treecee0d868c299796383af39e5d14a06d11df1f2aa
parent6407f577d7bfeb60db23f8618e44a2b803410bd4
Added: New architecture to targets / arch folders and hake files
34 files changed:
hake/K1om.hs
if/arch/k1om.if [new file with mode: 0644]
if/platform/k1om.if [new file with mode: 0644]
include/target/k1om/barrelfish/dispatcher_target.h [new file with mode: 0644]
include/target/k1om/barrelfish/pmap_target.h [new file with mode: 0644]
include/target/k1om/barrelfish_kpi/cpu_target.h [new file with mode: 0644]
include/target/k1om/barrelfish_kpi/dispatcher_shared_target.h [new file with mode: 0644]
include/target/k1om/barrelfish_kpi/paging_target.h [new file with mode: 0644]
include/target/k1om/barrelfish_kpi/registers_target.h [new file with mode: 0644]
kernel/arch/k1om/init.c
kernel/include/arch/k1om/arch_gdb_stub.h [new file with mode: 0644]
kernel/include/arch/k1om/cpuid_spaces.h [new file with mode: 0644]
kernel/include/arch/k1om/fpu.h [new file with mode: 0644]
kernel/include/arch/k1om/init.h [new file with mode: 0644]
kernel/include/arch/k1om/irq.h [new file with mode: 0644]
kernel/include/arch/k1om/kernel_multiboot.h [new file with mode: 0644]
kernel/include/arch/k1om/kputchar.h [new file with mode: 0644]
kernel/include/arch/k1om/misc.h [new file with mode: 0644]
kernel/include/arch/k1om/offsets.h [new file with mode: 0644]
kernel/include/arch/k1om/paging_kernel_arch.h [new file with mode: 0644]
kernel/include/arch/k1om/vmkit.h [new file with mode: 0644]
kernel/include/arch/k1om/x86.h [new file with mode: 0644]
kernel/include/target/k1om/offsets_target.h [new file with mode: 0644]
kernel/include/target/k1om/paging_kernel_target.h [new file with mode: 0644]
lib/barrelfish/include/arch/k1om/arch/fpu.h [new file with mode: 0644]
lib/barrelfish/include/arch/k1om/arch/ldt.h [new file with mode: 0644]
lib/barrelfish/include/arch/k1om/arch/registers.h [new file with mode: 0644]
lib/barrelfish/include/arch/k1om/arch/threads.h [new file with mode: 0644]
lib/bulk_transfer/Hakefile
lib/crt/arch/k1om/crt0.S [new file with mode: 0644]
lib/elf/Hakefile
tools/flounder/Arch.hs
usr/monitor/include/arch/k1om/monitor_invocations.h [new file with mode: 0644]
usr/tests/bulk_transfer/Hakefile