src/examples/read.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

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

int
main (int argc, char *argv[])
{
  char read_buf[16] = {};

  int fd = open ("readme");
  if (fd == -1) {
    halt ();
  }
  printf("opened file with fd %d\n", fd);

  int n = read (fd, read_buf, 16);
  printf("read %d bytes:\n", n);
  printf("###############\n");
  printf("%s\n", read_buf);

  halt();
  return 0;
}