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

void main(void) {
  debugprint(ANSIQ_SCR_CLR_ALL);
  debugprint(ANSIQ_CUR_SET(0, 0));

  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] = {0};
  ioctl_readfile(ioh, (uint8_t *const)buf, string_len(text), 0);

  uprintf("FILE: %s\n", buf);

  ioctl_closefile(ioh);

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

  for(;;);
}