descriptionAn x86/64 Separation Kernel for High Assurance
ownerAdrian-Ken Rueegsegger
last changeWed, 3 Mar 2021 15:47:30 +0000 (16:47 +0100)
shortlog
2 hours ago Adrian-Ken... Introduce schedGroupId attribute to subjects devel
18 hours ago Adrian-Ken... Libmuxml: Make schedGroupId attribute mandatory devel-policy-schedgroupid
18 hours ago Adrian-Ken... Libmucfgcheck: Simplify sched group info mappings check
18 hours ago Adrian-Ken... Simplify scheduling spec generation
18 hours ago Adrian-Ken... Mugenspec: Add schedGroupId to test policy
18 hours ago Adrian-Ken... Register subject scheduling group ID validator
18 hours ago Adrian-Ken... Mucfgvalidate: Add schedGroupId to test policy
18 hours ago Adrian-Ken... Mucfgexpand: Add schedGroupId to test policy
18 hours ago Adrian-Ken... Mugenzp: Add schedGroupId to test policy
18 hours ago Adrian-Ken... Mugentau0cmds: Add schedGroupId to test policy
18 hours ago Adrian-Ken... Mugensolo5: Add schedGroupId to test policy
18 hours ago Adrian-Ken... Mugensinfo: Add schedGroupId to test policy
18 hours ago Adrian-Ken... Mugenmsrstore: Add schedGroupId to test policy
18 hours ago Adrian-Ken... Mugenacpi: Add schedGroupId to test policy
18 hours ago Adrian-Ken... Mucheckelf: Add schedGroupId to test policy
18 hours ago Adrian-Ken... Mucfgmemhashes: Add schedGroupId to test policies
...
tags
20 months ago v0.9.1 Muen version 0.9.1
3 years ago v0.9.0 Muen version 0.9.0
4 years ago v0.8.0 Muen version 0.8.0
5 years ago v0.7.0 Muen version 0.7.0
6 years ago v0.6.0 Muen version 0.6.0
7 years ago doc-print Document print
7 years ago doc-review Document review
heads
113 min ago devel-misc-minor
2 hours ago devel
18 hours ago devel-policy-schedgroupid
2 weeks ago devel-ahci_drv
3 weeks ago devel-ahci_drv-20210210
4 weeks ago devel-desktop
5 months ago devel-up2-4.0bios
5 months ago devel-gnat-wavefront
5 months ago devel-gnat-2020
5 months ago devel-linux-5.4-test
5 months ago devel-desktop-vpid
8 months ago devel-drop-mb
10 months ago devel-linux-5.4-desktop-testing
11 months ago devel-libmusinfo-starts-with
11 months ago devel-linux-5.4-buster-chroot
11 months ago devel-linux-5.2
...