pintos-os.org Git - pintos-anon/blob - grading/userprog/read-normal.exp

   1 (read-normal) begin
   2 (read-normal) end
   3 read-normal: exit(0)