欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Pass ARM
来自开放百科 - 灰狐
PASS ARM 9200
PASS ARM 9200开发板是基于AT91RM9200处理器的ARM9开发板，我们主要目的是提供廉价的嵌入式Linux入门学习平台。能够在简单的硬件平台下运行Linux操作系统，学习U-boot，Linux内核，Busybox移植以及网络开发、程序开发等方面的内容。
Links
分享您的观点
