欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ADIOS: Automated Download and Installation of Operating Systems
ADIOS是基于Fedora的自启动运行及安装光盘,它支持User Mode Linux(UML)虚拟机,并带有Linux入侵检测系统(LIDS)和SELinux(Security Enhanced Linux)增强。该光盘包含了KDE桌面环境,它使用了压缩的回环文件系统。