Added: Added Arch Specific Folders in libbarrelfish / barrelfish-kpi / kernel based...
authorReto Achermann <acreto@student.ethz.ch>
Sun, 23 Mar 2014 16:18:20 +0000 (17:18 +0100)
committerStefan Kaestle <stefan.kaestle@inf.ethz.ch>
Wed, 20 Aug 2014 13:27:56 +0000 (15:27 +0200)
commit6407f577d7bfeb60db23f8618e44a2b803410bd4
treeeef01ae95ee752277f96d47aa804e9e88498b2b8
parent2b180cf866fd4e5975d5e1020e4538534a9e2213
Added: Added Arch Specific Folders in libbarrelfish / barrelfish-kpi / kernel based on the x86_64 implementations.
52 files changed:
include/arch/k1om/_fpmath.h [new file with mode: 0644]
include/arch/k1om/arch/inttypes.h [new file with mode: 0644]
include/arch/k1om/arch/setjmp.h [new file with mode: 0644]
include/arch/k1om/arch/stdint.h [new file with mode: 0644]
include/arch/k1om/barrelfish/bulk_transfer_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/core_state_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/cpu_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/curdispatcher_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/dispatcher_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/invocations_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/ldt.h [new file with mode: 0644]
include/arch/k1om/barrelfish/lmp_chan_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/pmap_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish/syscall_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/asm_inlines_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/cpu_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/dispatcher_shared_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/eflags_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/generic_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/lmp_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/paging_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/registers_arch.h [new file with mode: 0644]
include/arch/k1om/barrelfish_kpi/spinlocks_arch.h [new file with mode: 0644]
include/arch/k1om/bench/bench_arch.h [new file with mode: 0644]
include/arch/k1om/concurrent/arch/cas.h [new file with mode: 0644]
include/arch/k1om/fenv.h [new file with mode: 0644]
include/arch/k1om/float.h [new file with mode: 0644]
include/arch/k1om/machine/_limits.h [new file with mode: 0644]
include/arch/k1om/machine/asm.h [new file with mode: 0644]
include/arch/k1om/machine/endian.h [new file with mode: 0644]
include/arch/k1om/machine/fpu.h [new file with mode: 0644]
include/arch/k1om/machine/types.h [new file with mode: 0644]
kernel/arch/k1om/boot.S [new file with mode: 0644]
kernel/arch/k1om/debug.c [new file with mode: 0644]
kernel/arch/k1om/entry.S [new file with mode: 0644]
kernel/arch/k1om/exec.c [new file with mode: 0644]
kernel/arch/k1om/gdb_arch.c [new file with mode: 0644]
kernel/arch/k1om/init.c [new file with mode: 0644]
kernel/arch/k1om/irq.c [new file with mode: 0644]
kernel/arch/k1om/linker.lds.in [new file with mode: 0644]
kernel/arch/k1om/microbenchmarks.c [new file with mode: 0644]
kernel/arch/k1om/page_mappings_arch.c [new file with mode: 0644]
kernel/arch/k1om/paging.c [new file with mode: 0644]
kernel/arch/k1om/startup_arch.c [new file with mode: 0644]
kernel/arch/k1om/syscall.c [new file with mode: 0644]
kernel/arch/k1om/vmkit.c [new file with mode: 0644]
lib/barrelfish/arch/k1om/debug.c [new file with mode: 0644]
lib/barrelfish/arch/k1om/dispatch.c [new file with mode: 0644]
lib/barrelfish/arch/k1om/entry.S [new file with mode: 0644]
lib/barrelfish/arch/k1om/ldt.c [new file with mode: 0644]
lib/barrelfish/arch/k1om/sys_debug.c [new file with mode: 0644]
lib/barrelfish/arch/k1om/syscalls.c [new file with mode: 0644]