#include "os.h"

typedef unsigned char uint8;
typedef unsigned long int uint32;

void main() {
  uint32 size = 0x1400000;
  uint32 base = 0x10000000;
  
  FILE* f = fopen("/documents/ndless/osrunning.raw.tns","wb");
  fwrite((uint32*) base, 1, size, f);
  fclose(f);
}