descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeMon, 12 Sep 2022 16:11:13 +0000 (18:11 +0200)
shortlog
2022-09-12 Adrian-Ken... Enable exception handling in Ada/SPARK subjects devel
2022-09-12 Adrian-Ken... Example: Force compiler to keep frame pointer
2022-09-12 Adrian-Ken... integ: Assert parts of call trace output
2022-09-12 Adrian-Ken... Example: Log call trace of #BP exception
2022-09-12 Adrian-Ken... Add Backtraces package
2022-09-12 Adrian-Ken... Components: Initialize RBP to null
2022-09-12 Adrian-Ken... integ: Assert exception handling
2022-09-12 Adrian-Ken... Extend example to test exception handling
2022-09-09 Adrian-Ken... Allow handling of Breakpoint exception
2022-09-09 Adrian-Ken... Example: Adapt interrupt handler routine
2022-09-09 Adrian-Ken... VT: Adapt interrupt handler routine
2022-09-09 Adrian-Ken... SM: Adapt interrupt handler routine
2022-09-09 Adrian-Ken... Ps2_drv: Adapt interrupt handler routine
2022-09-09 Adrian-Ken... Components: Extend ISR with entries for exceptions
2022-09-09 Adrian-Ken... Factor out Isr_Context_Type to SK.Exceptions
2022-09-05 Reto BuerkiMugenspec: Use stream I/O template for Skp.Scheduling
...
tags
11 months ago v1.0.0 Muen version 1.0.0
3 years ago v0.9.1 Muen version 0.9.1
4 years ago v0.9.0 Muen version 0.9.0
5 years ago v0.8.0 Muen version 0.8.0
6 years ago v0.7.0 Muen version 0.7.0
7 years ago v0.6.0 Muen version 0.6.0
9 years ago doc-print Document print
9 years ago doc-review Document review
heads
2 days ago devel-policy-scheduling-partitions
3 days ago devel-misc-minor
4 days ago devel-policy-scheduling
10 days ago devel-pending-events
2 weeks ago devel
7 weeks ago devel-pmu
3 months ago devel-bochs
4 months ago devel-desktop
5 months ago devel-validator-channels
9 months ago devel-linux-kasan
9 months ago devel-bash-sete
11 months ago master
13 months ago devel-xhci-debug-vga
15 months ago devel-subject-init
18 months ago devel-ibpb
18 months ago devel-ahci_drv
...