diff --git a/library/syscalls.c b/library/syscalls.c
new file mode 100644
index 0000000..f2503a0
--- /dev/null
+++ b/library/syscalls.c
@@ -0,0 +1,200 @@
+/*
+Copyright (C) 2016-2019 The University of Notre Dame
+This software is distributed under the GNU General Public License.
+See the file LICENSE for details.
+*/
+
+#include "kernel/syscall.h"
+#include "kernel/stats.h"
+#include "kernel/gfxstream.h"
+
+void syscall_debug(const char *str)
+{
+	syscall(SYSCALL_DEBUG, (uint32_t) str, 0, 0, 0, 0);
+}
+
+void syscall_process_exit(int status)
+{
+	syscall(SYSCALL_PROCESS_EXIT, status, 0, 0, 0, 0);
+}
+
+int syscall_process_yield()
+{
+	return syscall(SYSCALL_PROCESS_YIELD, 0, 0, 0, 0, 0);
+}
+
+int syscall_process_run(int fd, int argc, const char **argv)
+{
+	return syscall(SYSCALL_PROCESS_RUN, fd, argc, (uint32_t) argv, 0, 0);
+}
+
+int syscall_process_wrun(int fd, int argc, const char **argv, int * fds, int fd_len)
+{
+	return syscall(SYSCALL_PROCESS_WRUN, fd, argc, (uint32_t) argv, (uint32_t) fds, fd_len);
+}
+
+int syscall_process_fork()
+{
+	return syscall(SYSCALL_PROCESS_FORK, 0, 0, 0, 0, 0);
+}
+
+void syscall_process_exec( int fd, int argc, const char **argv)
+{
+	syscall(SYSCALL_PROCESS_EXEC, fd, argc, (uint32_t) argv, 0, 0);
+}
+
+int syscall_process_self()
+{
+	return syscall(SYSCALL_PROCESS_SELF, 0, 0, 0, 0, 0);
+}
+
+int syscall_process_parent()
+{
+	return syscall(SYSCALL_PROCESS_PARENT, 0, 0, 0, 0, 0);
+}
+
+int syscall_process_kill(unsigned int pid)
+{
+	return syscall(SYSCALL_PROCESS_KILL, pid, 0, 0, 0, 0);
+}
+
+int syscall_process_reap(unsigned int pid)
+{
+	return syscall(SYSCALL_PROCESS_REAP, pid, 0, 0, 0, 0);
+}
+
+int syscall_process_wait(struct process_info *info, int timeout)
+{
+	return syscall(SYSCALL_PROCESS_WAIT, (uint32_t) info, timeout, 0, 0, 0);
+}
+
+int syscall_process_sleep(unsigned int ms)
+{
+	return syscall(SYSCALL_PROCESS_SLEEP, ms, 0, 0, 0, 0);
+}
+
+int syscall_process_stats(struct process_stats *s, unsigned int pid)
+{
+	return syscall(SYSCALL_PROCESS_STATS, (uint32_t) s, pid, 0, 0, 0);
+}
+
+extern void *syscall_process_heap(int a)
+{
+	return (void *) syscall(SYSCALL_PROCESS_HEAP, a, 0, 0, 0, 0);
+}
+
+int syscall_open_file( int fd, const char *path, int mode, kernel_flags_t flags)
+{
+	return syscall(SYSCALL_OPEN_FILE, fd, (uint32_t) path, mode, flags, 0);
+}
+
+int syscall_open_dir( int fd, const char *name, kernel_flags_t flags )
+{
+	return syscall(SYSCALL_OPEN_DIR, fd, (uint32_t) name, flags, 0, 0 );
+}
+
+int syscall_open_window(int wd, int x, int y, int w, int h)
+{
+	return syscall(SYSCALL_OPEN_WINDOW, wd, x, y, w, h);
+}
+
+int syscall_open_console(int wd)
+{
+	return syscall(SYSCALL_OPEN_CONSOLE, wd, 0, 0, 0, 0);
+}
+
+int syscall_open_pipe()
+{
+	return syscall(SYSCALL_OPEN_PIPE, 0, 0, 0, 0, 0);
+}
+
+int syscall_object_type(int fd)
+{
+	return syscall(SYSCALL_OBJECT_TYPE, fd, 0, 0, 0, 0);
+}
+
+int syscall_object_copy( int src, int dst )
+{
+	return syscall(SYSCALL_OBJECT_COPY,src,dst,0,0,0);
+}
+
+int syscall_object_read(int fd, void *data, int length, kernel_io_flags_t flags )
+{
+	return syscall(SYSCALL_OBJECT_READ, fd, (uint32_t) data, length, flags, 0);
+}
+
+int syscall_object_list( int fd, char *buffer, int n)
+{
+	return syscall(SYSCALL_OBJECT_LIST, fd, (uint32_t) buffer, (uint32_t) n, 0, 0);
+}
+
+int syscall_object_write(int fd, const void *data, int length, kernel_io_flags_t flags )
+{
+	return syscall(SYSCALL_OBJECT_WRITE, fd, (uint32_t) data, length, flags, 0);
+}
+
+int syscall_object_seek(int fd, int offset, int whence)
+{
+	return syscall(SYSCALL_OBJECT_SEEK, fd, offset, whence, 0, 0);
+}
+
+int syscall_object_remove(int fd, const char *name )
+{
+	return syscall(SYSCALL_OBJECT_REMOVE, fd, (uint32_t) name, 0, 0, 0 );
+}
+
+int syscall_object_close(int fd)
+{
+	return syscall(SYSCALL_OBJECT_CLOSE, fd, 0, 0, 0, 0);
+}
+
+int syscall_object_set_tag(int fd, char *tag)
+{
+	return syscall(SYSCALL_OBJECT_SET_TAG, fd, (uint32_t)tag, 0, 0, 0);
+}
+
+int syscall_object_get_tag(int fd, char *buffer, int buffer_size)
+{
+	return syscall(SYSCALL_OBJECT_GET_TAG, fd, (uint32_t)buffer, buffer_size, 0, 0);
+}
+
+int syscall_object_size(int fd, int *dims, int n)
+{
+	return syscall(SYSCALL_OBJECT_SIZE, fd, (uint32_t) dims, n, 0, 0);
+}
+
+int syscall_object_max()
+{
+	return syscall(SYSCALL_OBJECT_MAX, 0, 0, 0, 0, 0);
+}
+
+int syscall_system_stats(struct system_stats *s)
+{
+	return syscall(SYSCALL_SYSTEM_STATS, (uint32_t) s, 0, 0, 0, 0);
+}
+
+int syscall_bcache_stats(struct bcache_stats *bstats)
+{
+	return syscall(SYSCALL_BCACHE_STATS, (uint32_t) bstats, 0, 0, 0, 0);
+}
+
+int syscall_bcache_flush()
+{
+	return syscall(SYSCALL_BCACHE_FLUSH, 0, 0, 0, 0, 0);
+}
+
+int syscall_system_time( uint32_t *t )
+{
+	return syscall(SYSCALL_SYSTEM_TIME, (uint32_t)t, 0, 0, 0, 0);
+}
+
+int syscall_system_rtc( struct rtc_time *time )
+{
+	return syscall(SYSCALL_SYSTEM_RTC, (uint32_t)time, 0, 0, 0, 0);
+}
+
+int syscall_device_driver_stats(char * name, void * stats)
+{
+	return syscall(SYSCALL_DEVICE_DRIVER_STATS, (uint32_t) name, (uint32_t) stats, 0, 0, 0);
+}
+