欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Oracle Cluster File System
来自开放百科 - 灰狐
OCFS supports Red Hat's AS 2.1 and EL 3.0 kernels, SuSe's SLES8 kernel and the Red Flag DC Server 4.1/ MIRACLE LINUX v3.0 (Asianux Inside) kernel for the i686, ia64 and x86-64 platforms.
分享您的观点
