pintos 初始文件

【文件属性】：

文件名称：pintos 初始文件

文件大小：438KB

文件格式：ZIP

更新时间：2018-07-08 05:37:04

pintos

操作系统入门文件，可以在虚拟机中生成一个pintos内核，然后进行各种修改，相当于小型系统