欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Moblin
来自开放百科 - 灰狐
Moblin is an open source project focused on building a Linux-based platform optimized for the next generation of mobile devices including Netbooks, Mobile Internet Devices, and In-vehicle infotainment systems.
Moblin 是一个经过优化的开源 Linux 软件堆栈和技术框架, 可以为基于英特尔凌动处理器的设备(包括 MID、上网本/上网机、车载信息娱乐和嵌入式系统)带来精彩的互联网和多媒体体验.
Links
分享您的观点