Пользовательская программа 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", который просто является миром приветствия, подобным этому:

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

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

    }

Answer 1

Проблема заключалась в том, что обработчик syscall не был реализован в userprog / syscall. c После его реализации и обработки случая записи / печати проблема была решена.