#include <stdint.h>
#include <string/string.h>
#include <system/system.h>
#include <sysdefs/ioctl.h>
#include <system/ioctl.h>
#include <uprintf.h>

void main(void) {
  debugprint("Hello world from userspace in C");

  int32_t ioh = ioctl_openfile("base:/hello.txt", IOCTL_F_WRITE | IOCTL_F_READ | IOCTL_F_MAKE);

  char *text = "Hello from the filesystem";
  ioctl_writefile(ioh, (const uint8_t *const)text, string_len(text), 0);

  char buf[0x100];
  ioctl_readfile(ioh, (uint8_t *const)buf, string_len(text), 0);

  debugprint(buf);

  ioctl_closefile(ioh);

  uprintf("Hello world using uprintf\n");

  for(;;);
}