]> git.codelabs.ch Git - muen.git/tree - kernel/src/
Various minor fixes and improvements
[muen.git] / kernel / src /
drwxr-xr-x   ..
drwxr-xr-x - asm
-rw-r--r-- 4181 sk-apic.adb
-rw-r--r-- 2479 sk-apic.ads
-rw-r--r-- 3359 sk-atomics.adb
-rw-r--r-- 2509 sk-atomics.ads
-rw-r--r-- 3072 sk-barriers.adb
-rw-r--r-- 1621 sk-barriers.ads
-rw-r--r-- 3832 sk-cpu-vmx.adb
-rw-r--r-- 2498 sk-cpu-vmx.ads
-rw-r--r-- 1552 sk-cpu_info.ads
-rw-r--r-- 12653 sk-crash_audit.adb
-rw-r--r-- 4699 sk-crash_audit.ads
-rw-r--r-- 1499 sk-delays.adb
-rw-r--r-- 1064 sk-delays.ads
-rw-r--r-- 10189 sk-fpu.adb
-rw-r--r-- 6606 sk-fpu.ads
-rw-r--r-- 3827 sk-interrupts.adb
-rw-r--r-- 2082 sk-interrupts.ads
-rw-r--r-- 7552 sk-io_apic.adb
-rw-r--r-- 2495 sk-io_apic.ads
-rw-r--r-- 53469 sk-kernel.adb
-rw-r--r-- 3065 sk-kernel.ads
-rw-r--r-- 2045 sk-locks.adb
-rw-r--r-- 2149 sk-locks.ads
-rw-r--r-- 5420 sk-mce.adb
-rw-r--r-- 2367 sk-mce.ads
-rw-r--r-- 1876 sk-mcu.ads
-rw-r--r-- 879 sk-mcu__disabled.adb
-rw-r--r-- 5651 sk-mcu__enabled.adb
-rw-r--r-- 3918 sk-mp.adb
-rw-r--r-- 2032 sk-mp.ads
-rw-r--r-- 1949 sk-power.adb
-rw-r--r-- 1561 sk-power.ads
-rw-r--r-- 43176 sk-scheduler.adb
-rw-r--r-- 10502 sk-scheduler.ads
-rw-r--r-- 1504 sk-scheduling_info.adb
-rw-r--r-- 3431 sk-scheduling_info.ads
-rw-r--r-- 30793 sk-subjects.adb
-rw-r--r-- 7851 sk-subjects.ads
-rw-r--r-- 3823 sk-subjects_events.adb
-rw-r--r-- 3652 sk-subjects_events.ads
-rw-r--r-- 6410 sk-subjects_interrupts.adb
-rw-r--r-- 4280 sk-subjects_interrupts.ads
-rw-r--r-- 1437 sk-subjects_msr_store.adb
-rw-r--r-- 4244 sk-subjects_msr_store.ads
-rw-r--r-- 11268 sk-system_state.adb
-rw-r--r-- 1781 sk-system_state.ads
-rw-r--r-- 2260 sk-tau0_interface.adb
-rw-r--r-- 1321 sk-tau0_interface.ads
-rw-r--r-- 3792 sk-timed_events.adb
-rw-r--r-- 4513 sk-timed_events.ads
-rw-r--r-- 25202 sk-vmx.adb
-rw-r--r-- 5456 sk-vmx.ads
-rw-r--r-- 2218 sk-vtd-interrupts.adb
-rw-r--r-- 1164 sk-vtd-interrupts.ads
-rw-r--r-- 21331 sk-vtd.adb
-rw-r--r-- 2485 sk-vtd.ads