PintOS用户程序不打印

Question

我试着遵循这个指南，关于用户程序的一节。显然，我能够成功地将一个程序从ubuntu传递到Pintos文件系统，因为我可以通过运行pintos -q ls来查看文件

​

​

运行此命令时：

pintos-mkdisk filesys.dsk --filesys-size=2
pintos -f -q
pintos -p ../../examples/echo -a echo -- -q
pintos -q run 'echo x'

我只收到这个，没有打印：

​

​

知道为什么看不到输出吗？我也尝试过使用"hellopintos“文件，这个文件就是像下面这样的hello world：

#include <stdio.h>
#include <syscall.h>

    void main(){
       printf("Hello pintos\n");

    }

Answer 1

问题是syscall处理程序在userprog/syscall.c上没有实现，在实现了它并处理了写/打印案例之后，问题就解决了。