liblinux/src/include/liblinux.h

#ifndef LIBLINUX_H
#define LIBLINUX_H

#include <liblinux/syscall.h>
#include <stddef.h>
#include <sys/types.h>

struct FILE {
  int fd;
};
typedef struct FILE FILE;

extern FILE *stdin;
extern FILE *stdout;
extern FILE *stderr;

#define stdin stdin
#define stdout stdout
#define stderr stderr

void sys_exit(int status); // FIXME: noreturn
int sys_open(const char *pathname, int flags);
int sys_close(int fd);
ssize_t sys_write(FILE *fd, const void *buf, size_t count); 
ssize_t sys_read(int fd, void *buf, size_t count); 

// TODO

#endif