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