]> rtime.felk.cvut.cz Git - l4.git/commit
update
authorl4check <l4check@d050ee49-bd90-4346-b210-929a50b99cfc>
Wed, 13 Oct 2010 06:30:54 +0000 (06:30 +0000)
committerl4check <l4check@d050ee49-bd90-4346-b210-929a50b99cfc>
Wed, 13 Oct 2010 06:30:54 +0000 (06:30 +0000)
commitc16a255e75d82fc9841d6bc9ef1ecb19b5de1211
tree5b1fe9a7e4a629259ae1f8b9a94d66dbbadd8f81
parente424cbebc45a274b4f20e5467fe791c70dbfd9f3
update

git-svn-id: http://svn.tudos.org/repos/oc/tudos/trunk@24 d050ee49-bd90-4346-b210-929a50b99cfc
41 files changed:
kernel/fiasco/src/Modules.arm
kernel/fiasco/src/jdb/ia32/jdb-ia32-amd64.cpp
kernel/fiasco/src/jdb/ia32/jdb_bt-ia32-ux.cpp
kernel/fiasco/src/jdb/jdb-thread.cpp
kernel/fiasco/src/jdb/jdb_tcb.cpp
kernel/fiasco/src/jdb/ux/jdb-ux.cpp
kernel/fiasco/src/jdb/ux/jdb_bp-ux.cpp
kernel/fiasco/src/kern/arm/context-arm.cpp
kernel/fiasco/src/kern/arm/ivt.S
kernel/fiasco/src/kern/arm/mem_op.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/thread-arm.cpp
kernel/fiasco/src/kern/config.cpp
kernel/fiasco/src/kern/ia32/apic-ia32-mp.cpp
kernel/fiasco/src/kern/ia32/vm.cpp
kernel/fiasco/src/kern/ia32/vm_svm.cpp
kernel/fiasco/src/kern/ia32/vm_vmx.cpp
kernel/fiasco/src/kern/kernel_thread-std.cpp
kernel/fiasco/src/kern/sched_context-fixed_prio.cpp
kernel/fiasco/src/kern/sched_context-fp_wfq.cpp
kernel/fiasco/src/kern/space.cpp
l4/pkg/ankh/server/src/device.cc
l4/pkg/dde/linux26/include/Makefile
l4/pkg/examples/libs/libgomp/Makefile
l4/pkg/examples/sys/vcpu/Makefile
l4/pkg/l4sys/include/ARCH-amd64/L4API-l4f/__semaphore_impl.h
l4/pkg/l4sys/include/ARCH-arm/L4API-l4f/syscall_defs.h
l4/pkg/l4sys/include/ARCH-arm/__semaphore_impl.h
l4/pkg/l4sys/include/ARCH-arm/cache.h
l4/pkg/l4sys/include/ARCH-arm/mem_op.h [new file with mode: 0644]
l4/pkg/l4sys/include/ARCH-x86/L4API-l4f/__semaphore_impl.h
l4/pkg/l4sys/include/thread
l4/pkg/l4sys/include/thread.h
l4/pkg/libstdc++-headers/include-4.3.3/bits/c++config.h
l4/pkg/libstdc++-headers/include-4.5/bits/c++config.h
l4/pkg/libvcpu/include/ARCH-ppc32/vcpu_arch.h
l4/pkg/uclibc/lib/libpthread/include/pthread-l4.h
l4/pkg/uclibc/lib/libpthread/src/internals.h
l4/pkg/uclibc/lib/libpthread/src/l4.cc
l4/pkg/uclibc/lib/libpthread/src/manager.cc
l4/pkg/uclibc/lib/uclibc/Makefile
l4/pkg/uclibc/lib/uclibc/contrib_files_all.lst