]> rtime.felk.cvut.cz Git - l4.git/commit
update
authorl4check <l4check@d050ee49-bd90-4346-b210-929a50b99cfc>
Wed, 29 Sep 2010 17:06:53 +0000 (17:06 +0000)
committerl4check <l4check@d050ee49-bd90-4346-b210-929a50b99cfc>
Wed, 29 Sep 2010 17:06:53 +0000 (17:06 +0000)
commit615241fa4695499799cebfd8a6dc8d90f3a93f13
treedf215bf0bbfa5e15b223156539ec6962e958cdb3
parent67d10e76e1e5d38d6624679c59e192ee897de76f
update

git-svn-id: http://svn.tudos.org/repos/oc/tudos/trunk@22 d050ee49-bd90-4346-b210-929a50b99cfc
160 files changed:
kernel/fiasco/src/Makeconf.amd64
kernel/fiasco/src/Modules.arm
kernel/fiasco/src/Modules.ppc32
kernel/fiasco/src/jdb/ia32/jdb_bp-ia32-ux.cpp
kernel/fiasco/src/jdb/jdb_bp.cpp [new file with mode: 0644]
kernel/fiasco/src/jdb/jdb_disasm.cpp
kernel/fiasco/src/jdb/jdb_dump.cpp
kernel/fiasco/src/jdb/jdb_exit_module.cpp
kernel/fiasco/src/jdb/jdb_table.cpp
kernel/fiasco/src/jdb/jdb_tcb.cpp
kernel/fiasco/src/kern/app_cpu_thread.cpp
kernel/fiasco/src/kern/arm/cpu-arm.cpp
kernel/fiasco/src/kern/arm/ivt.S
kernel/fiasco/src/kern/arm/main.cpp
kernel/fiasco/src/kern/arm/mem_space-arm.cpp
kernel/fiasco/src/kern/arm/tramp-mp.S
kernel/fiasco/src/kern/arm/vm.cpp
kernel/fiasco/src/kern/buddy_alloc.cpp
kernel/fiasco/src/kern/globals.cpp
kernel/fiasco/src/kern/hpet.cpp
kernel/fiasco/src/kern/ia32/32/paging-ia32-32.cpp
kernel/fiasco/src/kern/ia32/32/thread-ia32-32.cpp
kernel/fiasco/src/kern/ia32/apic-ia32.cpp
kernel/fiasco/src/kern/ia32/kmem-ia32.cpp
kernel/fiasco/src/kern/ia32/space-ia32.cpp
kernel/fiasco/src/kern/ia32/vm_svm.cpp
kernel/fiasco/src/kern/ia32/vm_vmx.cpp
kernel/fiasco/src/kern/ia32/vmx.cpp
kernel/fiasco/src/kern/ia32/x86desc.cpp
kernel/fiasco/src/kern/io_apic.cpp
kernel/fiasco/src/kern/irq.cpp
kernel/fiasco/src/kern/irq_controller.cpp
kernel/fiasco/src/kern/kernel_thread-std.cpp
kernel/fiasco/src/kern/kernel_thread.cpp
kernel/fiasco/src/kern/kmem_alloc.cpp
kernel/fiasco/src/kern/receiver.cpp
kernel/fiasco/src/kern/scheduler.cpp
kernel/fiasco/src/kern/syscalls.cpp
kernel/fiasco/src/kern/thread-ipc.cpp
kernel/fiasco/src/kern/ux/task-ux.cpp
kernel/fiasco/src/kern/vlog.cpp
kernel/fiasco/src/lib/libk/slab_cache_anon.cpp
l4/Makefile
l4/mk/Makeconf
l4/mk/binary.inc
l4/mk/config.inc
l4/mk/export_defs.inc
l4/pkg/drivers-frst/Control [new file with mode: 0644]
l4/pkg/drivers-frst/Makefile [new file with mode: 0644]
l4/pkg/drivers-frst/hpet/Makefile [new file with mode: 0644]
l4/pkg/drivers-frst/hpet/include/Makefile [new file with mode: 0644]
l4/pkg/drivers-frst/hpet/include/hpet [new file with mode: 0644]
l4/pkg/drivers-frst/hpet/src/Makefile [new file with mode: 0644]
l4/pkg/drivers-frst/hpet/src/hpet.cc [new file with mode: 0644]
l4/pkg/drivers-frst/of/Makefile [new file with mode: 0644]
l4/pkg/drivers-frst/of/include/Makefile [new file with mode: 0644]
l4/pkg/drivers-frst/of/include/of.h [new file with mode: 0644]
l4/pkg/drivers-frst/of/include/of_dev.h [new file with mode: 0644]
l4/pkg/drivers-frst/of/include/of_if.h [new file with mode: 0644]
l4/pkg/drivers-frst/of/src/Makefile [new file with mode: 0644]
l4/pkg/drivers-frst/of/src/of.cc [new file with mode: 0644]
l4/pkg/drivers-frst/uart/Makefile [new file with mode: 0644]
l4/pkg/drivers-frst/uart/include/Makefile [new file with mode: 0644]
l4/pkg/drivers-frst/uart/include/uart_base.h [new file with mode: 0644]
l4/pkg/drivers-frst/uart/include/uart_dummy.h [new file with mode: 0644]
l4/pkg/drivers-frst/uart/include/uart_imx.h [new file with mode: 0644]
l4/pkg/drivers-frst/uart/include/uart_of.h [new file with mode: 0644]
l4/pkg/drivers-frst/uart/include/uart_omap35x.h [new file with mode: 0644]
l4/pkg/drivers-frst/uart/include/uart_pl011.h [new file with mode: 0644]
l4/pkg/drivers-frst/uart/include/uart_pxa.h [new file with mode: 0644]
l4/pkg/drivers-frst/uart/include/uart_s3c2410.h [new file with mode: 0644]
l4/pkg/drivers-frst/uart/include/uart_sa1000.h [new file with mode: 0644]
l4/pkg/drivers-frst/uart/src/Makefile [new file with mode: 0644]
l4/pkg/drivers-frst/uart/src/uart_dummy.cc [new file with mode: 0644]
l4/pkg/drivers-frst/uart/src/uart_imx.cc [new file with mode: 0644]
l4/pkg/drivers-frst/uart/src/uart_of.cc [new file with mode: 0644]
l4/pkg/drivers-frst/uart/src/uart_omap35x.cc [new file with mode: 0644]
l4/pkg/drivers-frst/uart/src/uart_pl011.cc [new file with mode: 0644]
l4/pkg/drivers-frst/uart/src/uart_pxa.cc [new file with mode: 0644]
l4/pkg/drivers-frst/uart/src/uart_s3c2410.cc [new file with mode: 0644]
l4/pkg/drivers-frst/uart/src/uart_sa1000.cc [new file with mode: 0644]
l4/pkg/drivers/Control [new file with mode: 0644]
l4/pkg/drivers/Makefile [new file with mode: 0644]
l4/pkg/drivers/generic/Makefile [new file with mode: 0644]
l4/pkg/drivers/generic/include/Makefile [new file with mode: 0644]
l4/pkg/drivers/generic/include/amba.h [new file with mode: 0644]
l4/pkg/drivers/generic/include/io.h [new file with mode: 0644]
l4/pkg/drivers/generic/src/Makefile [new file with mode: 0644]
l4/pkg/drivers/generic/src/amba.c [new file with mode: 0644]
l4/pkg/drivers/input/Makefile [new file with mode: 0644]
l4/pkg/drivers/input/src/Makefile [new file with mode: 0644]
l4/pkg/drivers/input/src/kp-omap.h [new file with mode: 0644]
l4/pkg/drivers/input/src/kp-omap3.c [new file with mode: 0644]
l4/pkg/drivers/input/src/tsc-omap3.c [new file with mode: 0644]
l4/pkg/drivers/input/src/tsc-omap3.h [new file with mode: 0644]
l4/pkg/drivers/lcd/Makefile [new file with mode: 0644]
l4/pkg/drivers/lcd/include/Makefile [new file with mode: 0644]
l4/pkg/drivers/lcd/include/lcd.h [new file with mode: 0644]
l4/pkg/drivers/lcd/src/Makefile [new file with mode: 0644]
l4/pkg/drivers/lcd/src/arch-sa1100/h3600.h [new file with mode: 0644]
l4/pkg/drivers/lcd/src/arch-sa1100/h3600_asic.h [new file with mode: 0644]
l4/pkg/drivers/lcd/src/arch-sa1100/ipaq-egpio.h [new file with mode: 0644]
l4/pkg/drivers/lcd/src/arch-sa1100/sa1100-lcd.h [new file with mode: 0644]
l4/pkg/drivers/lcd/src/arch-sa1100/sa1100.h [new file with mode: 0644]
l4/pkg/drivers/lcd/src/lcd-amba.c [new file with mode: 0644]
l4/pkg/drivers/lcd/src/lcd-amba.h [new file with mode: 0644]
l4/pkg/drivers/lcd/src/lcd-h3800.c [new file with mode: 0644]
l4/pkg/drivers/lcd/src/lcd-omap3.c [new file with mode: 0644]
l4/pkg/drivers/lcd/src/lcd-omap3.h [new file with mode: 0644]
l4/pkg/drivers/lcd/src/lcd-s3c2410.c [new file with mode: 0644]
l4/pkg/drivers/lcd/src/lcd-tegra2.c [new file with mode: 0644]
l4/pkg/drivers/lcd/src/lcd-virtual.c [new file with mode: 0644]
l4/pkg/drivers/lcd/src/lcd.c [new file with mode: 0644]
l4/pkg/examples/sys/vcpu/Makefile
l4/pkg/examples/sys/vcpu/vcpu.cc
l4/pkg/fb-drv/server/src/lcddrv.cc
l4/pkg/io/server/libpciids/src/pci.ids
l4/pkg/l4con/server/src/ARCH-arm/gmode-arch.c
l4/pkg/l4re/include/elf_aux.h
l4/pkg/l4re/util/include/cap_alloc
l4/pkg/l4sys/include/ARCH-ppc32/__vcpu-arch.h [new file with mode: 0644]
l4/pkg/l4sys/include/compiler.h
l4/pkg/l4sys/include/vcpu.h
l4/pkg/libvcpu/Control [new file with mode: 0644]
l4/pkg/libvcpu/Makefile [new file with mode: 0644]
l4/pkg/libvcpu/doc/files.cfg [new file with mode: 0644]
l4/pkg/libvcpu/include/ARCH-amd64/vcpu_arch.h [new file with mode: 0644]
l4/pkg/libvcpu/include/ARCH-arm/vcpu_arch.h [new file with mode: 0644]
l4/pkg/libvcpu/include/ARCH-ppc32/vcpu_arch.h [new file with mode: 0644]
l4/pkg/libvcpu/include/ARCH-x86/vcpu_arch.h [new file with mode: 0644]
l4/pkg/libvcpu/include/Makefile [new file with mode: 0644]
l4/pkg/libvcpu/include/vcpu [new file with mode: 0644]
l4/pkg/libvcpu/include/vcpu.h [new file with mode: 0644]
l4/pkg/libvcpu/lib/Makefile [new file with mode: 0644]
l4/pkg/libvcpu/lib/src/ARCH-amd64/arch.cc [new file with mode: 0644]
l4/pkg/libvcpu/lib/src/ARCH-arm/arch.cc [new file with mode: 0644]
l4/pkg/libvcpu/lib/src/ARCH-ppc32/arch.cc [new file with mode: 0644]
l4/pkg/libvcpu/lib/src/ARCH-x86/arch.cc [new file with mode: 0644]
l4/pkg/libvcpu/lib/src/Makefile [new file with mode: 0644]
l4/pkg/libvcpu/lib/src/vcpu.cc [new file with mode: 0644]
l4/pkg/ned/server/src/app_model.h
l4/pkg/scout-gfx/include/Makefile
l4/pkg/scout-gfx/include/basic_window [new file with mode: 0644]
l4/pkg/scout-gfx/include/simple_window_deco [new file with mode: 0644]
l4/pkg/scout-gfx/include/user_state
l4/pkg/scout-gfx/include/widget
l4/pkg/scout-gfx/include/window [new file with mode: 0644]
l4/pkg/scout-gfx/lib/Make.rules
l4/pkg/scout-gfx/lib/basic_window.cc [new file with mode: 0644]
l4/pkg/scout-gfx/lib/data/sizer.rgba [new file with mode: 0644]
l4/pkg/scout-gfx/lib/simple_window_deco.cc [new file with mode: 0644]
l4/pkg/scout-gfx/lib/widget.cc
l4/pkg/scout-gfx/lib/window.cc [new file with mode: 0644]
l4/pkg/scout/lib/src/browser.h
l4/pkg/scout/lib/src/browser_window.cc
l4/pkg/scout/lib/src/browser_window.h
l4/pkg/scout/lib/src/main.cc
l4/pkg/shmc/lib/src/shmc.c
l4/tool/gendep/Doxyfile
repomgr