]> rtime.felk.cvut.cz Git - l4.git/commit
update
authorl4check <l4check@d050ee49-bd90-4346-b210-929a50b99cfc>
Mon, 8 Apr 2013 17:39:36 +0000 (17:39 +0000)
committerl4check <l4check@d050ee49-bd90-4346-b210-929a50b99cfc>
Mon, 8 Apr 2013 17:39:36 +0000 (17:39 +0000)
commit56a09572268504317eb2885b827f9c4378071a7c
treedf3dc77604a6202008864d2b17e3d6676e5fc8a8
parent013297c0d65e3dab85bb75c5a104babaebedd230
update

git-svn-id: http://svn.tudos.org/repos/oc/tudos/trunk@51 d050ee49-bd90-4346-b210-929a50b99cfc
606 files changed:
kernel/fiasco/Makefile
kernel/fiasco/src/Kconfig
kernel/fiasco/src/Makeconf.amd64
kernel/fiasco/src/Makeconf.arm
kernel/fiasco/src/Makeconf.ia32
kernel/fiasco/src/Makefile
kernel/fiasco/src/Makerules.UNITTEST
kernel/fiasco/src/Makerules.global
kernel/fiasco/src/Modules.amd64
kernel/fiasco/src/Modules.arm
kernel/fiasco/src/Modules.generic
kernel/fiasco/src/Modules.ia32
kernel/fiasco/src/Modules.ux
kernel/fiasco/src/abi/kip.cpp
kernel/fiasco/src/abi/l4_buf_desc.cpp
kernel/fiasco/src/abi/l4_fpage.cpp
kernel/fiasco/src/abi/l4_msg_item.cpp
kernel/fiasco/src/abi/l4_types.cpp
kernel/fiasco/src/boot/amd64/Makerules.BOOT.amd64
kernel/fiasco/src/boot/amd64/boot_cpu.cc
kernel/fiasco/src/boot/amd64/boot_paging.h
kernel/fiasco/src/boot/ia32/Makerules.BOOT.ia32
kernel/fiasco/src/boot/ia32/boot_paging.h
kernel/fiasco/src/drivers/arm/mmu-arm.cpp
kernel/fiasco/src/drivers/arm/processor-arm.cpp
kernel/fiasco/src/drivers/arm/sa1100.cpp
kernel/fiasco/src/drivers/io.cpp
kernel/fiasco/src/drivers/mmio_register_block.h [new file with mode: 0644]
kernel/fiasco/src/drivers/ppc32/processor-ppc32.cpp
kernel/fiasco/src/drivers/sparc/processor-sparc.cpp
kernel/fiasco/src/drivers/uart-16550.cpp
kernel/fiasco/src/jdb/arm/jdb-arm.cpp
kernel/fiasco/src/jdb/arm/jdb_extensions.cpp
kernel/fiasco/src/jdb/arm/jdb_kern_info-arm.cpp
kernel/fiasco/src/jdb/arm/jdb_kern_info-bench-arm.cpp
kernel/fiasco/src/jdb/arm/jdb_ptab-arm.cpp
kernel/fiasco/src/jdb/arm/jdb_vm.cpp
kernel/fiasco/src/jdb/ia32/32/jdb_kern_info-bench-ia32-32.cpp
kernel/fiasco/src/jdb/ia32/64/jdb_ptab-amd64.cpp
kernel/fiasco/src/jdb/ia32/jdb-ia32-amd64.cpp
kernel/fiasco/src/jdb/ia32/jdb_bp-ia32-ux.cpp
kernel/fiasco/src/jdb/ia32/jdb_bt-ia32-ux.cpp
kernel/fiasco/src/jdb/ia32/jdb_kern_info-ia32-amd64.cpp
kernel/fiasco/src/jdb/ia32/jdb_kern_info-ia32-ux.cpp
kernel/fiasco/src/jdb/ia32/jdb_trace_set-ia32-ux.cpp
kernel/fiasco/src/jdb/jdb-thread.cpp
kernel/fiasco/src/jdb/jdb.cpp
kernel/fiasco/src/jdb/jdb_dbinfo.cpp
kernel/fiasco/src/jdb/jdb_exit_module.cpp
kernel/fiasco/src/jdb/jdb_idle_stats.cpp
kernel/fiasco/src/jdb/jdb_io_apic.cpp
kernel/fiasco/src/jdb/jdb_ipi.cpp
kernel/fiasco/src/jdb/jdb_kern_info-bench.cpp
kernel/fiasco/src/jdb/jdb_kern_info.cpp
kernel/fiasco/src/jdb/jdb_kobject.cpp
kernel/fiasco/src/jdb/jdb_mapdb.cpp
kernel/fiasco/src/jdb/jdb_module.cpp
kernel/fiasco/src/jdb/jdb_mp_request_sl.cpp
kernel/fiasco/src/jdb/jdb_obj_space.cpp
kernel/fiasco/src/jdb/jdb_prompt_ext.cpp
kernel/fiasco/src/jdb/jdb_ptab-ia32-ux-arm.cpp
kernel/fiasco/src/jdb/jdb_ptab.cpp
kernel/fiasco/src/jdb/jdb_rcupdate.cpp
kernel/fiasco/src/jdb/jdb_table.cpp
kernel/fiasco/src/jdb/jdb_tbuf.cpp
kernel/fiasco/src/jdb/jdb_tbuf_show.cpp
kernel/fiasco/src/jdb/jdb_tcb.cpp
kernel/fiasco/src/jdb/jdb_tetris.cpp
kernel/fiasco/src/jdb/jdb_thread_list.cpp
kernel/fiasco/src/jdb/jdb_timeout.cpp
kernel/fiasco/src/jdb/jdb_trap_state.cpp
kernel/fiasco/src/jdb/jdb_util.cpp
kernel/fiasco/src/jdb/ppc32/jdb-ppc32.cpp
kernel/fiasco/src/jdb/sparc/jdb-sparc.cpp
kernel/fiasco/src/jdb/ux/jdb-ux.cpp
kernel/fiasco/src/jdb/ux/jdb_bp-ux.cpp
kernel/fiasco/src/kern/app_cpu_thread.cpp
kernel/fiasco/src/kern/arm/Makerules.KERNEL
kernel/fiasco/src/kern/arm/asm_entry.h [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bootstrap.cpp
kernel/fiasco/src/kern/arm/bsp/bcm2835/Kconfig [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/bcm2835/Modules [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/bcm2835/bootstrap-arm-bcm2835.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/bcm2835/config-arm-bcm2835.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/bcm2835/kernel_uart-arm-bcm2835.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/bcm2835/mem_layout-arm-bcm2835.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/bcm2835/pic-arm-bcm2835.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/bcm2835/reset-arm-bcm2835.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/bcm2835/timer-arm-bcm2835.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/bcm2835/uart-arm-bcm2835.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/Kconfig [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/Modules [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/bootstrap-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/config-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/cpu-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/ipi-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/kernel_thread-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/kernel_uart-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/mem_layout-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/outer_cache-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/pic-arm-gic-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/platform-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/platform_control-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/reset-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/scu-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/smc.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/thread-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/timer-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/timer_mct.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/timer_tick-exynos-mct.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/uart-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/exynos/watchdog-arm-exynos.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/imx/Modules
kernel/fiasco/src/kern/arm/bsp/imx/bootstrap-arm-imx.cpp
kernel/fiasco/src/kern/arm/bsp/imx/mem_layout-arm-imx.cpp
kernel/fiasco/src/kern/arm/bsp/imx/pic-arm-imx.cpp
kernel/fiasco/src/kern/arm/bsp/imx/pic-arm-imx51.cpp
kernel/fiasco/src/kern/arm/bsp/imx/platform_control-arm-imx6.cpp
kernel/fiasco/src/kern/arm/bsp/imx/reset-arm-imx.cpp
kernel/fiasco/src/kern/arm/bsp/imx/timer-arm-imx21.cpp
kernel/fiasco/src/kern/arm/bsp/imx/timer-arm-imx_epit.cpp
kernel/fiasco/src/kern/arm/bsp/imx/timer-arm-mptimer-imx6.cpp
kernel/fiasco/src/kern/arm/bsp/imx/timer_imx_epit.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/imx/uart-imx.cpp
kernel/fiasco/src/kern/arm/bsp/integrator/Modules
kernel/fiasco/src/kern/arm/bsp/integrator/bootstrap-arm-integrator.cpp
kernel/fiasco/src/kern/arm/bsp/integrator/mem_layout-arm-integrator.cpp
kernel/fiasco/src/kern/arm/bsp/integrator/pic-arm-integrator.cpp
kernel/fiasco/src/kern/arm/bsp/integrator/reset-arm-integrator.cpp
kernel/fiasco/src/kern/arm/bsp/integrator/timer-arm-integrator.cpp
kernel/fiasco/src/kern/arm/bsp/integrator/uart-arm-integrator.cpp
kernel/fiasco/src/kern/arm/bsp/kirkwood/Modules
kernel/fiasco/src/kern/arm/bsp/kirkwood/bootstrap-arm-kirkwood.cpp
kernel/fiasco/src/kern/arm/bsp/kirkwood/kernel_uart-arm-kirkwood.cpp
kernel/fiasco/src/kern/arm/bsp/kirkwood/mem_layout-arm-kirkwood.cpp
kernel/fiasco/src/kern/arm/bsp/kirkwood/pic-arm-kirkwood.cpp
kernel/fiasco/src/kern/arm/bsp/kirkwood/reset-arm-kirkwood.cpp
kernel/fiasco/src/kern/arm/bsp/kirkwood/timer-arm-kirkwood.cpp
kernel/fiasco/src/kern/arm/bsp/omap/Kconfig [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/Modules [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/bootstrap-arm-omap.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/config-arm-omap.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/kernel_uart-arm-omap.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/mem_layout-arm-omap.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/outer_cache-arm-omap.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/pic-arm-gic-omap4.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/pic-arm-omap3.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/platform_control-arm-omap4.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/reset-arm-omap.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/timer-arm-mptimer-omap4.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/timer-arm-omap3.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/timer_omap_1mstimer.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/timer_omap_gentimer.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/omap/uart-arm-omap.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/bsp/pxa-sa/pic-arm-pxa_sa1100.cpp
kernel/fiasco/src/kern/arm/bsp/pxa-sa/timer-arm-pxa_sa1100.cpp
kernel/fiasco/src/kern/arm/bsp/pxa/Modules
kernel/fiasco/src/kern/arm/bsp/pxa/bootstrap-arm-pxa.cpp
kernel/fiasco/src/kern/arm/bsp/pxa/kernel_uart-arm-pxa.cpp
kernel/fiasco/src/kern/arm/bsp/pxa/mem_layout-arm-pxa.cpp
kernel/fiasco/src/kern/arm/bsp/pxa/reset-arm-pxa.cpp
kernel/fiasco/src/kern/arm/bsp/realview/Kconfig
kernel/fiasco/src/kern/arm/bsp/realview/Modules
kernel/fiasco/src/kern/arm/bsp/realview/board_check-arm-realview.cpp
kernel/fiasco/src/kern/arm/bsp/realview/bootstrap-arm-realview.cpp
kernel/fiasco/src/kern/arm/bsp/realview/clock-arm-realview.cpp
kernel/fiasco/src/kern/arm/bsp/realview/mem_layout-arm-realview.cpp
kernel/fiasco/src/kern/arm/bsp/realview/outer_cache-arm-realview.cpp
kernel/fiasco/src/kern/arm/bsp/realview/pic-arm-realview.cpp
kernel/fiasco/src/kern/arm/bsp/realview/platform-arm-realview.cpp
kernel/fiasco/src/kern/arm/bsp/realview/platform_control-arm-realview.cpp
kernel/fiasco/src/kern/arm/bsp/realview/reset-arm-realview.cpp
kernel/fiasco/src/kern/arm/bsp/realview/timer-arm-mptimer-realview.cpp
kernel/fiasco/src/kern/arm/bsp/realview/timer-arm-realview.cpp
kernel/fiasco/src/kern/arm/bsp/realview/uart-arm-realview.cpp
kernel/fiasco/src/kern/arm/bsp/s3c/Modules
kernel/fiasco/src/kern/arm/bsp/s3c/bootstrap-arm-s3c2410.cpp
kernel/fiasco/src/kern/arm/bsp/s3c/mem_layout-arm-s3c2410.cpp
kernel/fiasco/src/kern/arm/bsp/s3c/pic-arm-s3c2410.cpp
kernel/fiasco/src/kern/arm/bsp/s3c/reset-arm-s3c2410.cpp
kernel/fiasco/src/kern/arm/bsp/s3c/timer-arm-s3c2410.cpp
kernel/fiasco/src/kern/arm/bsp/s3c/uart-s3c2410.cpp
kernel/fiasco/src/kern/arm/bsp/sa1100/Modules
kernel/fiasco/src/kern/arm/bsp/sa1100/bootstrap-arm-sa1100.cpp
kernel/fiasco/src/kern/arm/bsp/sa1100/kernel_uart-arm-sa1100.cpp
kernel/fiasco/src/kern/arm/bsp/sa1100/mem_layout-arm-sa1100.cpp
kernel/fiasco/src/kern/arm/bsp/sa1100/reset-arm-sa1100.cpp
kernel/fiasco/src/kern/arm/bsp/tegra2/Kconfig
kernel/fiasco/src/kern/arm/bsp/tegra2/Modules
kernel/fiasco/src/kern/arm/bsp/tegra2/bootstrap-arm-tegra2.cpp
kernel/fiasco/src/kern/arm/bsp/tegra2/kernel_uart-arm-tegra2.cpp
kernel/fiasco/src/kern/arm/bsp/tegra2/mem_layout-arm-tegra2.cpp
kernel/fiasco/src/kern/arm/bsp/tegra2/outer_cache-arm-tegra2.cpp
kernel/fiasco/src/kern/arm/bsp/tegra2/pic-arm-tegra2.cpp
kernel/fiasco/src/kern/arm/bsp/tegra2/platform_control-arm-tegra2.cpp
kernel/fiasco/src/kern/arm/bsp/tegra2/reset-arm-tegra2.cpp
kernel/fiasco/src/kern/arm/bsp/tegra2/timer-arm-tegra2.cpp
kernel/fiasco/src/kern/arm/config-arm.cpp
kernel/fiasco/src/kern/arm/cpu-arm.cpp
kernel/fiasco/src/kern/arm/fpu-arm.cpp
kernel/fiasco/src/kern/arm/gic.cpp
kernel/fiasco/src/kern/arm/ipi-arm.cpp
kernel/fiasco/src/kern/arm/ivt.S
kernel/fiasco/src/kern/arm/kern_lib_page.cpp
kernel/fiasco/src/kern/arm/kernel_task-arm.cpp
kernel/fiasco/src/kern/arm/kernel_thread-arm.cpp
kernel/fiasco/src/kern/arm/kip_init.cpp
kernel/fiasco/src/kern/arm/kmem.cpp
kernel/fiasco/src/kern/arm/kmem_alloc-arm.cpp
kernel/fiasco/src/kern/arm/kmem_space.cpp
kernel/fiasco/src/kern/arm/main.cpp
kernel/fiasco/src/kern/arm/mem_layout-arm.cpp
kernel/fiasco/src/kern/arm/mem_layout-noncont.cpp
kernel/fiasco/src/kern/arm/mem_op.cpp
kernel/fiasco/src/kern/arm/mem_space-arm.cpp
kernel/fiasco/src/kern/arm/mem_unit.cpp
kernel/fiasco/src/kern/arm/outer_cache-l2cxx0.cpp
kernel/fiasco/src/kern/arm/paging-arm.cpp
kernel/fiasco/src/kern/arm/perf_cnt-arm.cpp
kernel/fiasco/src/kern/arm/pic-gic.cpp
kernel/fiasco/src/kern/arm/scu.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/startup-arm.cpp
kernel/fiasco/src/kern/arm/sys_call_page-arm.cpp
kernel/fiasco/src/kern/arm/tb_entry-arm.cpp
kernel/fiasco/src/kern/arm/thread-arm.cpp
kernel/fiasco/src/kern/arm/thread-jdb.cpp
kernel/fiasco/src/kern/arm/timer-arm-mptimer.cpp
kernel/fiasco/src/kern/arm/timer-arm.cpp
kernel/fiasco/src/kern/arm/timer_sp804.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/tramp-mp.S
kernel/fiasco/src/kern/arm/trap_state.cpp
kernel/fiasco/src/kern/arm/vm.cpp
kernel/fiasco/src/kern/arm/vm_factory-arm.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/arm/vmem_alloc-arch.cpp
kernel/fiasco/src/kern/boot_alloc.cpp
kernel/fiasco/src/kern/buddy_alloc.cpp
kernel/fiasco/src/kern/clock.cpp
kernel/fiasco/src/kern/config.cpp
kernel/fiasco/src/kern/context.cpp
kernel/fiasco/src/kern/context_base.cpp
kernel/fiasco/src/kern/cpu.cpp
kernel/fiasco/src/kern/cpu_mask.cpp
kernel/fiasco/src/kern/dbg_page_info.cpp
kernel/fiasco/src/kern/factory.cpp
kernel/fiasco/src/kern/fpu.cpp
kernel/fiasco/src/kern/globals.cpp
kernel/fiasco/src/kern/ia32/32/paging-ia32-32.cpp
kernel/fiasco/src/kern/ia32/32/sys_call_page-abs-ia32.cpp
kernel/fiasco/src/kern/ia32/32/thread-ia32-32.cpp
kernel/fiasco/src/kern/ia32/64/paging-ia32-64.cpp
kernel/fiasco/src/kern/ia32/64/thread-ia32-64.cpp
kernel/fiasco/src/kern/ia32/apic-ia32.cpp
kernel/fiasco/src/kern/ia32/cpu-ia32.cpp
kernel/fiasco/src/kern/ia32/dirq-ia32-ux.cpp
kernel/fiasco/src/kern/ia32/fpu-ia32-ux.cpp
kernel/fiasco/src/kern/ia32/fpu-ia32.cpp
kernel/fiasco/src/kern/ia32/idt.cpp
kernel/fiasco/src/kern/ia32/io_apic.cpp
kernel/fiasco/src/kern/ia32/ipi-ia32.cpp
kernel/fiasco/src/kern/ia32/irq_chip_pic.cpp
kernel/fiasco/src/kern/ia32/irq_msi.cpp
kernel/fiasco/src/kern/ia32/kmem-ia32.cpp
kernel/fiasco/src/kern/ia32/kmem_alloc-ia32.cpp
kernel/fiasco/src/kern/ia32/main-ia32.cpp
kernel/fiasco/src/kern/ia32/map_util-io.cpp
kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp
kernel/fiasco/src/kern/ia32/paging-ia32.cpp
kernel/fiasco/src/kern/ia32/startup-ia32.cpp
kernel/fiasco/src/kern/ia32/svm.cpp
kernel/fiasco/src/kern/ia32/thread-ia32.cpp
kernel/fiasco/src/kern/ia32/timer-apic.cpp
kernel/fiasco/src/kern/ia32/timer-ia32-amd64-ux.cpp
kernel/fiasco/src/kern/ia32/timer-pit.cpp
kernel/fiasco/src/kern/ia32/timer-rtc.cpp
kernel/fiasco/src/kern/ia32/timer_irq.cpp
kernel/fiasco/src/kern/ia32/timer_tick-apic.cpp
kernel/fiasco/src/kern/ia32/tramp-mp.S
kernel/fiasco/src/kern/ia32/vm.cpp
kernel/fiasco/src/kern/ia32/vm_factory-ia32.cpp
kernel/fiasco/src/kern/ia32/vm_svm.cpp
kernel/fiasco/src/kern/ia32/vm_vmx.cpp
kernel/fiasco/src/kern/ia32/vm_vmx_ept.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/ia32/vmem_alloc-ia32.cpp
kernel/fiasco/src/kern/ia32/vmx.cpp
kernel/fiasco/src/kern/icu_helper.cpp
kernel/fiasco/src/kern/io_space.cpp
kernel/fiasco/src/kern/ipc_gate.cpp
kernel/fiasco/src/kern/ipi.cpp
kernel/fiasco/src/kern/irq.cpp
kernel/fiasco/src/kern/irq_chip.cpp
kernel/fiasco/src/kern/irq_mgr.cpp
kernel/fiasco/src/kern/kernel_task.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/kmem_slab.cpp
kernel/fiasco/src/kern/kobject.cpp
kernel/fiasco/src/kern/kobject_dbg.cpp
kernel/fiasco/src/kern/kobject_helper.cpp
kernel/fiasco/src/kern/kobject_iface.cpp
kernel/fiasco/src/kern/kobject_mapdb.cpp
kernel/fiasco/src/kern/map_util-mem.cpp
kernel/fiasco/src/kern/map_util-objs.cpp
kernel/fiasco/src/kern/map_util.cpp
kernel/fiasco/src/kern/mapdb.cpp
kernel/fiasco/src/kern/mapdb_types.h [new file with mode: 0644]
kernel/fiasco/src/kern/mapping.cpp
kernel/fiasco/src/kern/mapping_tree.cpp
kernel/fiasco/src/kern/mem_layout.cpp
kernel/fiasco/src/kern/mem_space.cpp
kernel/fiasco/src/kern/obj_space-phys.cpp
kernel/fiasco/src/kern/obj_space-virt.cpp
kernel/fiasco/src/kern/obj_space.cpp
kernel/fiasco/src/kern/obj_space_phys_util.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/obj_space_types.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/obj_space_virt_util.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/paging.cpp
kernel/fiasco/src/kern/per_cpu_data.cpp
kernel/fiasco/src/kern/per_cpu_data_alloc.cpp
kernel/fiasco/src/kern/pic-i8259.cpp
kernel/fiasco/src/kern/pic.cpp
kernel/fiasco/src/kern/platform_control.cpp
kernel/fiasco/src/kern/platform_control_object.cpp
kernel/fiasco/src/kern/ppc32/boot_info-ppc32.cpp
kernel/fiasco/src/kern/ppc32/bsp/mpc52xx/pic-mpc52xx.cpp
kernel/fiasco/src/kern/ppc32/cpu-ppc32.cpp
kernel/fiasco/src/kern/ppc32/kernel_task-ppc32.cpp
kernel/fiasco/src/kern/ppc32/kmem.cpp
kernel/fiasco/src/kern/ppc32/kmem_alloc-ppc32.cpp
kernel/fiasco/src/kern/ppc32/mem_space-cache.cpp
kernel/fiasco/src/kern/ppc32/mem_space-htab.cpp
kernel/fiasco/src/kern/ppc32/mem_space-ppc32.cpp
kernel/fiasco/src/kern/ppc32/paging-ppc32.cpp
kernel/fiasco/src/kern/ppc32/startup-ppc32.cpp
kernel/fiasco/src/kern/ppc32/sys_call_page-ppc32.cpp
kernel/fiasco/src/kern/ppc32/thread-jdb.cpp
kernel/fiasco/src/kern/ppc32/thread-ppc32.cpp
kernel/fiasco/src/kern/ppc32/timer-decr-ppc32.cpp
kernel/fiasco/src/kern/ppc32/trap_state.cpp
kernel/fiasco/src/kern/prio_list.cpp
kernel/fiasco/src/kern/ptab_base.cpp
kernel/fiasco/src/kern/queue.cpp
kernel/fiasco/src/kern/queue_item.cpp
kernel/fiasco/src/kern/rcupdate.cpp
kernel/fiasco/src/kern/ready_queue_fp.cpp
kernel/fiasco/src/kern/receiver.cpp
kernel/fiasco/src/kern/sched_context-fixed_prio.cpp
kernel/fiasco/src/kern/sched_context.cpp
kernel/fiasco/src/kern/scheduler.cpp
kernel/fiasco/src/kern/sigma0_task-io.cpp
kernel/fiasco/src/kern/sigma0_task.cpp
kernel/fiasco/src/kern/space.cpp
kernel/fiasco/src/kern/sparc/bsp/leon3/pic-sparc-leon3.cpp
kernel/fiasco/src/kern/sparc/cpu-sparc.cpp
kernel/fiasco/src/kern/sparc/kernel_task-sparc.cpp
kernel/fiasco/src/kern/sparc/kernel_thread-sparc.cpp
kernel/fiasco/src/kern/sparc/kmem.cpp
kernel/fiasco/src/kern/sparc/kmem_alloc-sparc.cpp
kernel/fiasco/src/kern/sparc/mem_layout-sparc.cpp
kernel/fiasco/src/kern/sparc/mem_space-sparc.cpp
kernel/fiasco/src/kern/sparc/paging-sparc.cpp
kernel/fiasco/src/kern/sparc/startup-sparc.cpp
kernel/fiasco/src/kern/sparc/tb_entry-sparc.cpp
kernel/fiasco/src/kern/sparc/thread-jdb.cpp
kernel/fiasco/src/kern/sparc/thread-sparc.cpp
kernel/fiasco/src/kern/sparc/timer-decr-sparc.cpp
kernel/fiasco/src/kern/sparc/trap_state.cpp
kernel/fiasco/src/kern/syscalls-log.cpp
kernel/fiasco/src/kern/syscalls.cpp
kernel/fiasco/src/kern/task.cpp
kernel/fiasco/src/kern/tb_entry.cpp
kernel/fiasco/src/kern/tb_entry_output.cc
kernel/fiasco/src/kern/thread-ipc.cpp
kernel/fiasco/src/kern/thread-pagefault.cpp
kernel/fiasco/src/kern/thread-vcpu.cpp
kernel/fiasco/src/kern/thread.cpp
kernel/fiasco/src/kern/thread_object.cpp
kernel/fiasco/src/kern/timeout.cpp
kernel/fiasco/src/kern/timer-hpet.cpp
kernel/fiasco/src/kern/timer.cpp
kernel/fiasco/src/kern/timer_tick-broadcast.cpp [new file with mode: 0644]
kernel/fiasco/src/kern/timer_tick-single-vector.cpp
kernel/fiasco/src/kern/timer_tick.cpp
kernel/fiasco/src/kern/timeslice_timeout.cpp
kernel/fiasco/src/kern/uart-mmio.cpp
kernel/fiasco/src/kern/ux/Makerules.KERNEL
kernel/fiasco/src/kern/ux/cpu-ux.cpp
kernel/fiasco/src/kern/ux/fpu-ux.cpp
kernel/fiasco/src/kern/ux/glue_libc_ux.cc
kernel/fiasco/src/kern/ux/ipi-ux.cpp
kernel/fiasco/src/kern/ux/kmem-ux.cpp
kernel/fiasco/src/kern/ux/main-ux.cpp
kernel/fiasco/src/kern/ux/mem_layout-ux.cpp
kernel/fiasco/src/kern/ux/mem_space-ux.cpp
kernel/fiasco/src/kern/ux/pic-ux.cpp
kernel/fiasco/src/kern/ux/startup.cpp
kernel/fiasco/src/kern/ux/task-ux.cpp
kernel/fiasco/src/kern/ux/thread-ux.cpp
kernel/fiasco/src/kern/ux/timer-ux.cpp
kernel/fiasco/src/kern/ux/usermode.cpp
kernel/fiasco/src/kern/vkey.cpp
kernel/fiasco/src/kern/vlog.cpp
kernel/fiasco/src/kernel.arm.ld
kernel/fiasco/src/lib/libk/amd64/atomic-amd64.cpp
kernel/fiasco/src/lib/libk/arm/atomic-arm-up.cpp
kernel/fiasco/src/lib/libk/atomic.cpp
kernel/fiasco/src/lib/libk/cxx/bitfield [new file with mode: 0644]
kernel/fiasco/src/lib/libk/cxx/bits/list_basics.h [new file with mode: 0644]
kernel/fiasco/src/lib/libk/cxx/cxx_int [new file with mode: 0644]
kernel/fiasco/src/lib/libk/cxx/dlist [new file with mode: 0644]
kernel/fiasco/src/lib/libk/cxx/hlist [new file with mode: 0644]
kernel/fiasco/src/lib/libk/cxx/slist [new file with mode: 0644]
kernel/fiasco/src/lib/libk/cxx/type_list [new file with mode: 0644]
kernel/fiasco/src/lib/libk/cxx/type_traits [new file with mode: 0644]
kernel/fiasco/src/lib/libk/cxx/union [new file with mode: 0644]
kernel/fiasco/src/lib/libk/ia32/atomic-ia32-smp.cpp
kernel/fiasco/src/lib/libk/lock_guard.cpp
kernel/fiasco/src/lib/libk/slab_cache.cpp
kernel/fiasco/src/lib/libk/unique_ptr.h
kernel/fiasco/src/lib/uart/uart_s3c2410.cc
kernel/fiasco/src/lib/uart/uart_s3c2410.h
kernel/fiasco/src/templates/globalconfig.out.amd64-1
kernel/fiasco/src/templates/globalconfig.out.amd64-2
kernel/fiasco/src/templates/globalconfig.out.amd64-3-noinl
kernel/fiasco/src/templates/globalconfig.out.amd64-mp
kernel/fiasco/src/templates/globalconfig.out.arm-a9-mp-1
kernel/fiasco/src/templates/globalconfig.out.arm-a9-mp-2
kernel/fiasco/src/templates/globalconfig.out.arm-a9-mp-vexpress-1 [new file with mode: 0644]
kernel/fiasco/src/templates/globalconfig.out.arm-a9-mp-vexpress-2 [new file with mode: 0644]
kernel/fiasco/src/templates/globalconfig.out.arm-imx21
kernel/fiasco/src/templates/globalconfig.out.arm-imx35
kernel/fiasco/src/templates/globalconfig.out.arm-imx51
kernel/fiasco/src/templates/globalconfig.out.arm-imx6
kernel/fiasco/src/templates/globalconfig.out.arm-int-1
kernel/fiasco/src/templates/globalconfig.out.arm-int-2
kernel/fiasco/src/templates/globalconfig.out.arm-kirkwood
kernel/fiasco/src/templates/globalconfig.out.arm-omap3evm
kernel/fiasco/src/templates/globalconfig.out.arm-omap4-panda
kernel/fiasco/src/templates/globalconfig.out.arm-pxa
kernel/fiasco/src/templates/globalconfig.out.arm-rv-1
kernel/fiasco/src/templates/globalconfig.out.arm-rv-2
kernel/fiasco/src/templates/globalconfig.out.arm-rv-3
kernel/fiasco/src/templates/globalconfig.out.arm-rv-4-noinl
kernel/fiasco/src/templates/globalconfig.out.arm-s3c
kernel/fiasco/src/templates/globalconfig.out.arm-sa
kernel/fiasco/src/templates/globalconfig.out.arm-t2
kernel/fiasco/src/templates/globalconfig.out.arm-v6
kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-eb
kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-pb
kernel/fiasco/src/templates/globalconfig.out.arm-v7
kernel/fiasco/src/templates/globalconfig.out.ia32-1
kernel/fiasco/src/templates/globalconfig.out.ia32-2
kernel/fiasco/src/templates/globalconfig.out.ia32-3-noinl
kernel/fiasco/src/templates/globalconfig.out.ia32-big
kernel/fiasco/src/templates/globalconfig.out.ia32-mp
kernel/fiasco/src/templates/globalconfig.out.ia32-ndebug
kernel/fiasco/src/templates/globalconfig.out.ppc32-1 [new file with mode: 0644]
kernel/fiasco/src/templates/globalconfig.out.sparc-1 [new file with mode: 0644]
kernel/fiasco/src/templates/globalconfig.out.ux-1
kernel/fiasco/src/templates/globalconfig.out.ux-2
kernel/fiasco/src/templates/globalconfig.out.ux-3-noinl
kernel/fiasco/src/test/unit/map_util_t.cpp
kernel/fiasco/src/test/unit/map_util_t.out.verify.vf [new file with mode: 0755]
kernel/fiasco/src/test/unit/mapdb_t.cpp
kernel/fiasco/src/test/unit/mapdb_t.out.verify.vf [new file with mode: 0644]
kernel/fiasco/src/types/amd64/types-arch.h
kernel/fiasco/src/types/arm/types-arch.h
kernel/fiasco/src/types/ia32/types-arch.h
kernel/fiasco/src/types/ppc32/types-arch.h
kernel/fiasco/src/types/sparc/types-arch.h
kernel/fiasco/src/types/types.h
kernel/fiasco/src/types/ux/types-arch.h
kernel/fiasco/tool/kconfig/Makefile
kernel/fiasco/tool/kconfig/README
kernel/fiasco/tool/kconfig/scripts/Makefile.lib
l4/mk/platforms/rpi_a.conf [new file with mode: 0644]
l4/mk/platforms/rpi_b.conf [new file with mode: 0644]
l4/mk/platforms/rv_vexpress_a15.conf [new file with mode: 0644]
l4/pkg/bootstrap/server/src/ARCH-arm/crt0.S
l4/pkg/bootstrap/server/src/Make.rules
l4/pkg/bootstrap/server/src/Makefile.platform [new file with mode: 0644]
l4/pkg/bootstrap/server/src/platform/exynos.cc [new file with mode: 0644]
l4/pkg/bootstrap/server/src/platform/imx.cc
l4/pkg/bootstrap/server/src/platform/integrator.cc
l4/pkg/bootstrap/server/src/platform/kirkwood.cc
l4/pkg/bootstrap/server/src/platform/om.cc
l4/pkg/bootstrap/server/src/platform/omap.cc
l4/pkg/bootstrap/server/src/platform/pxa.cc
l4/pkg/bootstrap/server/src/platform/rpi.cc [new file with mode: 0644]
l4/pkg/bootstrap/server/src/platform/rv.cc
l4/pkg/bootstrap/server/src/platform/rv_vexpress.cc
l4/pkg/bootstrap/server/src/platform/sa1000.cc
l4/pkg/bootstrap/server/src/platform/tegra2.cc
l4/pkg/bootstrap/server/src/platform/x86_pc.cc
l4/pkg/cxx/lib/tl/include/Makefile
l4/pkg/cxx/lib/tl/include/bitfield [new file with mode: 0644]
l4/pkg/cxx/lib/tl/include/type_list [new file with mode: 0644]
l4/pkg/cxx/lib/tl/include/type_traits
l4/pkg/cxx/lib/tl/include/utils [new file with mode: 0644]
l4/pkg/drivers-frst/uart/src/uart_pxa.cc
l4/pkg/examples/Makefile
l4/pkg/examples/sys/vm-tz/Makefile
l4/pkg/examples/sys/vm-tz/main.cc
l4/pkg/examples/sys/vmtest/vmxtest.c
l4/pkg/io/server/src/Make.rules
l4/pkg/io/server/src/device.h
l4/pkg/io/server/src/gpio
l4/pkg/io/server/src/gpio.cc
l4/pkg/io/server/src/lua_glue.swg
l4/pkg/io/server/src/lua_glue.swg.cc
l4/pkg/io/server/src/main.cc
l4/pkg/io/server/src/resource.h
l4/pkg/io/server/src/vbus.cc
l4/pkg/io/server/src/vbus.h
l4/pkg/io/server/src/vdevice.h
l4/pkg/io/server/src/vgpio.cc
l4/pkg/l4sys/include/ARCH-arm/L4API-l4f/ipc.h
l4/pkg/l4sys/include/ARCH-arm/vm
l4/pkg/l4sys/include/ARCH-arm/vm.h
l4/pkg/l4sys/include/__vm-vmx.h
l4/pkg/l4sys/include/irq.h
l4/pkg/l4sys/include/vcon.h
l4/pkg/l4sys/include/vcpu.h
l4/pkg/libpng/lib/README
l4/pkg/libpng/lib/dist/ANNOUNCE
l4/pkg/libpng/lib/dist/CHANGES
l4/pkg/libpng/lib/dist/CMakeLists.txt
l4/pkg/libpng/lib/dist/INSTALL
l4/pkg/libpng/lib/dist/LICENSE
l4/pkg/libpng/lib/dist/Makefile.am
l4/pkg/libpng/lib/dist/Makefile.in
l4/pkg/libpng/lib/dist/README
l4/pkg/libpng/lib/dist/autogen.sh
l4/pkg/libpng/lib/dist/config.h.in
l4/pkg/libpng/lib/dist/configure
l4/pkg/libpng/lib/dist/configure.ac
l4/pkg/libpng/lib/dist/libpng-manual.txt
l4/pkg/libpng/lib/dist/libpng.3
l4/pkg/libpng/lib/dist/libpngpf.3
l4/pkg/libpng/lib/dist/png.5
l4/pkg/libpng/lib/dist/png.c
l4/pkg/libpng/lib/dist/png.h
l4/pkg/libpng/lib/dist/pngconf.h
l4/pkg/libpng/lib/dist/pngerror.c
l4/pkg/libpng/lib/dist/pngget.c
l4/pkg/libpng/lib/dist/pnginfo.h
l4/pkg/libpng/lib/dist/pngpriv.h
l4/pkg/libpng/lib/dist/pngread.c
l4/pkg/libpng/lib/dist/pngrtran.c
l4/pkg/libpng/lib/dist/pngrutil.c
l4/pkg/libpng/lib/dist/pngset.c
l4/pkg/libpng/lib/dist/pngstruct.h
l4/pkg/libpng/lib/dist/pngtest.c
l4/pkg/libpng/lib/dist/pngwrite.c
l4/pkg/libpng/lib/dist/scripts/README.txt
l4/pkg/libpng/lib/dist/scripts/checksym.awk
l4/pkg/libpng/lib/dist/scripts/def.dfn
l4/pkg/libpng/lib/dist/scripts/dfn.awk [new file with mode: 0644]
l4/pkg/libpng/lib/dist/scripts/intprefix.dfn
l4/pkg/libpng/lib/dist/scripts/libpng-config-head.in
l4/pkg/libpng/lib/dist/scripts/libpng.pc.in
l4/pkg/libpng/lib/dist/scripts/makefile.cegcc
l4/pkg/libpng/lib/dist/scripts/makefile.freebsd
l4/pkg/libpng/lib/dist/scripts/makefile.linux
l4/pkg/libpng/lib/dist/scripts/makefile.msys
l4/pkg/libpng/lib/dist/scripts/makefile.ne12bsd
l4/pkg/libpng/lib/dist/scripts/makefile.netbsd
l4/pkg/libpng/lib/dist/scripts/makefile.openbsd
l4/pkg/libpng/lib/dist/scripts/makefile.std
l4/pkg/libpng/lib/dist/scripts/options.awk
l4/pkg/libpng/lib/dist/scripts/pnglibconf.dfa
l4/pkg/libpng/lib/dist/scripts/pnglibconf.h.prebuilt
l4/pkg/libpng/lib/dist/scripts/pnglibconf.mak
l4/pkg/libpng/lib/dist/scripts/prefix.dfn
l4/pkg/libpng/lib/dist/scripts/sym.dfn
l4/pkg/libpng/lib/dist/scripts/symbols.def
l4/pkg/libpng/lib/dist/scripts/symbols.dfn
l4/pkg/libpng/lib/dist/scripts/vers.dfn
l4/pkg/libpng/lib/dist/test-driver [new file with mode: 0644]
l4/pkg/lwip/lib/arch/sys_arch.h
l4/pkg/mag/server/src/lua_glue.swg.cc
l4/pkg/plr/Control
l4/pkg/plr/include/pthread_rep.h
l4/pkg/plr/lib/libpthread_romain/src/Makefile
l4/pkg/plr/lib/libpthread_romain/src/mutex.c
l4/pkg/plr/server/src/app_loading.cc
l4/pkg/plr/server/src/app_thread.cc
l4/pkg/plr/server/src/fault_handlers/lock_observer.h
l4/pkg/plr/server/src/fault_handlers/pagefault.cc
l4/pkg/plr/server/src/fault_handlers/replicalog.cc
l4/pkg/plr/server/src/fault_handlers/syscalls.cc
l4/pkg/plr/server/src/manager
l4/pkg/plr/server/src/manager.cc
l4/pkg/plr/server/src/memory
l4/pkg/plr/server/src/memory.cc
l4/pkg/plr/server/src/thread_group.h
l4/pkg/rtc/server/src/main.cc
l4/pkg/sqlite/lib/README
l4/pkg/sqlite/lib/contrib/configure
l4/pkg/sqlite/lib/contrib/configure.ac
l4/pkg/sqlite/lib/contrib/shell.c
l4/pkg/sqlite/lib/contrib/sqlite3.c
l4/pkg/sqlite/lib/contrib/sqlite3.h
l4/pkg/sqlite/lib/contrib/sqlite3ext.h
l4/tool/lib/L4/ModList.pm
repomgr