Muen Separation Kernel

Settings | Report Duplicate

2

I Use This!

Low Activity

Commits : Listings

Analyzed 2 days ago. based on code collected 4 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jun 24, 2025 — Jun 24, 2026 Showing page 1 of 500 Search / Filter on:
Export non-kernel code to separate repositories	Reto Buerki	More...				5 months ago
arcconfig: De-configure test engine	Reto Buerki	More...				5 months ago
Remove components/ directory	Reto Buerki	More...				5 months ago
dbgserver: Add libmucoll	Reto Buerki	More...				5 months ago
sm: Include libmucoll (subject_info.ads)	Reto Buerki	More...				5 months ago
time: Include libmucoll (cmos_rtc.ads)	Reto Buerki	More...				5 months ago
example: Include libmu[block\|coll]	Reto Buerki	More...				5 months ago
vt: Include libmucoll (input.ads)	Reto Buerki	More...				5 months ago
its_monitor: Include libmucoll (subject_info.ads)	Reto Buerki	More...				5 months ago
ps2_drv: Include libmucoll	Reto Buerki	More...				5 months ago
ahci_drv: Include libmublock	Reto Buerki	More...				5 months ago
components: ../src is no longer valid	Reto Buerki	More...				5 months ago
Remove remaining files in components/src	Reto Buerki	More...				5 months ago
Remove component libraries	Reto Buerki	More...				5 months ago
components: Add libmubase	Reto Buerki	More...				5 months ago
Remove component.ld, stub.S and sk-hypercall.ad*	Reto Buerki	More...				5 months ago
Remove policy directory	Reto Buerki	More...				5 months ago
Remove emulate directory	Reto Buerki	More...				5 months ago
Remove components/linux/[config\|spec]	Reto Buerki	More...				5 months ago
Remove all but top-level .gitignore file	Reto Buerki	More...				5 months ago
Assume that config.xsl is in the search path	Reto Buerki	More...				5 months ago
Assume that gpr_config.xsl is in the search path	Reto Buerki	More...				5 months ago
Delete components/xslt/*.xsl	Reto Buerki	More...				5 months ago
Remove linux-muen-gencspec.py	Reto Buerki	More...				5 months ago
Policy: Remove mirageos/compose.py	Reto Buerki	More...				5 months ago
Remove isr_entries.S files	Reto Buerki	More...				5 months ago
Remove Proof_Mode from kernel.gpr	Reto Buerki	More...				6 months ago
Remove files provided by common and cleanups	Reto Buerki	More...				6 months ago
Use Component_Spark.Obj_Dir in vt.gpr	Reto Buerki	More...				6 months ago
Do not use Src_Dirs variable in time.gpr	Reto Buerki	More...				6 months ago

←
1
2
3
4
5
6
7
8
9
…
499
500
→