#include <unistd.h>
#include <stdio.h>
#include <sys/errno.h>

#include "simulator.h"
#include "scheduler.h"
#include "kt.h"
#include "console_buf.h"

void *do_write(void *arg)
{
	// code for write system call goes here
	kt_exit(NULL);
	return(NULL);
}

void *do_read(void *arg)
{
	// code for read system call goes here
	kt_exit(NULL);
	return(NULL);
}