Operating system PintOS用户程序不打印

我试着按照这个指南，关于用户程序的部分。显然，我能够成功地将一个程序从ubuntu传递到Pintos文件系统，因为我可以通过运行

Pintos-qls

运行此命令时：

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");

    }

#包括
#包括
void main（）{
printf（“Hello pintos\n”）；
}

问题是在userprog/syscall.c上没有实现syscall处理程序

---

在实现它并处理写入/打印案例后，问题得到了解决。

指南：对您使用的代码的描述：“下面是如何创建带有文件系统分区的磁盘、格式化文件系统、将

echo

程序复制到新磁盘中，然后运行

echo

，并传递参数x的摘要。”因此，这是echo命令的代码，而不是你的程序的代码。使用

pintos-q run'hellopintos'

运行我的程序时，会发生完全相同的情况。在创造之后。无论如何，echo程序（位于src/examples文件夹下）不应该给出输出吗？您介意详细说明如何修复它吗？即使printf syscall没有实现，它是否应该输出“syscall not implemented”而不是终止blank？