欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
CyanogenMod
来自开放百科 - 灰狐
CyanogenMod 是一个基于 Android 的开源固件(firmware)项目。
CyanogenMod 将整合 SELinux 安全解决方案。
CyanogenMod是一个Android系统,供某些手机使用的二级市场固件。它提供一些在官方Android系统或手机厂商没有提供的功能,例如:支援Free Lossless Audio Codec - FLAC (无损音频压缩编码)音频格式的音乐,多点触控, 从SD外置内存执行程序,压缩缓存(compcache),大量APN的名单,重新启动功能,Wi-Fi无线网络支援,蓝牙,USB网络分享等。
CyanogenMod也是第一个使用BFS作任务管理器的操作系统。CyanogenMod声称提供比官方固件版本更高性能和更可靠。
链接
<discussion>characters_max=300</discussion>
分享您的观点