【文件属性】：
文件名称：操作系统 pintos 介绍
文件大小：574KB
文件格式：PDF
更新时间：2015-05-25 07:38:20
pintos
by ben pfaff ，详细介绍pintos
网友评论
- 学pintos的必备资料，不过我们就做了thread部分。这资料好像官网上也找得到
- 刚接触pintos，文档解释得很详细，确实是个有用的资源，对pintos学习很有帮助