欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Yocto 是一个开源协作项目,它通过提供模版、工具和方法帮助开发者创建面向嵌入式应用的Linux系统,而不论产品采用何种硬件体系。
Yocto开发环境
创建Image
使用Image
集成Sato桌面系统
<discussion>characters_max=300</discussion>