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

问题是系统调用处理程序未在 userprog/syscall.c 上实现实施并处理write/print案例后，问题得到解决。

PintOS user program does not print