]> rtime.felk.cvut.cz Git - l4.git/tree - kernel/fiasco/src/kern/ia32/
update
[l4.git] / kernel / fiasco / src / kern / ia32 /
drwxr-xr-x   ..
drwxr-xr-x - 32
drwxr-xr-x - 64
-rw-r--r-- 379 Makerules.KERNEL
-rw-r--r-- 288 Makerules.SYMBOLS.ia32
-rw-r--r-- 605 __main.cpp
-rw-r--r-- 3206 apic-debug.cpp
-rw-r--r-- 3187 apic-ia32-mp.cpp
-rw-r--r-- 17185 apic-ia32.cpp
-rw-r--r-- 1457 asm.h
-rw-r--r-- 1243 boot_console-ia32-amd64.cpp
-rw-r--r-- 3559 boot_info-ia32.cpp
-rw-r--r-- 476 clock-ia32.cpp
-rw-r--r-- 4672 config-ia32.cpp
-rw-r--r-- 2145 context-ia32.cpp
-rw-r--r-- 47199 cpu-ia32.cpp
-rw-r--r-- 1668 cpu_lock-pic.cpp
-rw-r--r-- 1793 dirq-ia32-ux.cpp
-rw-r--r-- 6346 dirq_pic_pin-ia32-ux.cpp
-rw-r--r-- 430 entry-mp.S
-rw-r--r-- 2283 fpu-ia32-ux.cpp
-rw-r--r-- 3456 fpu-ia32.cpp
-rw-r--r-- 2317 gdt.cpp
-rw-r--r-- 5662 idt.cpp
-rw-r--r-- 1261 idt_init.h
-rw-r--r-- 1460 ipi-ia32.cpp
-rw-r--r-- 2472 irq_msi.cpp
-rw-r--r-- 321 kdb_ke-ia32.cpp
-rw-r--r-- 4149 kernel_thread-ia32.cpp
-rw-r--r-- 6257 kip_init-ia32.cpp
-rw-r--r-- 15436 kmem-ia32.cpp
-rw-r--r-- 4712 kmem_alloc-ia32.cpp
-rw-r--r-- 328 loadcnt.cpp
-rw-r--r-- 9620 logdefs.h
-rw-r--r-- 3052 main-ia32.cpp
-rw-r--r-- 3787 map_util-io.cpp
-rw-r--r-- 1341 mem_layout-ia32.cpp
-rw-r--r-- 11737 mem_space-ia32.cpp
-rw-r--r-- 6985 multiboot.h
-rw-r--r-- 170 no_kdb_ke.cpp
-rw-r--r-- 2660 paging-ia32.cpp
-rw-r--r-- 31647 perf_cnt-ia32.cpp
-rw-r--r-- 4285 profile.cpp
-rw-r--r-- 3622 rtc-ia32.cpp
-rw-r--r-- 3405 shortcut.h
-rw-r--r-- 1209 space-ia32.cpp
-rw-r--r-- 889 spin_lock-ia32.cpp
-rw-r--r-- 2394 startup-ia32.cpp
-rw-r--r-- 4934 svm.cpp
-rw-r--r-- 2141 task-ia32-amd64.cpp
-rw-r--r-- 25753 thread-ia32.cpp
-rw-r--r-- 6806 thread-io.cpp
-rw-r--r-- 1906 timer-apic.cpp
-rw-r--r-- 854 timer-ia32-amd64-ux.cpp
-rw-r--r-- 1108 timer-pit.cpp
-rw-r--r-- 1104 timer-rtc.cpp
-rw-r--r-- 1379 timer_irq.cpp
-rw-r--r-- 3385 tramp-mp.S
-rw-r--r-- 1227 utcb_init-ia32.cpp
-rw-r--r-- 2675 vm.cpp
-rw-r--r-- 727 vm_factory-ia32.cpp
-rw-r--r-- 19609 vm_svm.cpp
-rw-r--r-- 12962 vm_vmx.cpp
-rw-r--r-- 2846 vmem_alloc-ia32.cpp
-rw-r--r-- 13424 vmx.cpp
-rw-r--r-- 2869 watchdog-ia32.cpp
-rw-r--r-- 7767 x86desc.cpp