userfs.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#include "user.h"

// file system tests

char buf[1024];

int
main(void)
{
  puts("userfs running\n");
  block();
  exec("usertests");
  return 0;
}