#ifndef _JOVE_x86_64_OBJECT_H
#define _JOVE_x86_64_OBJECT_H 1

#include <stdint.h>

#ifndef KERNEL_STACKBYTES
#define KERNEL_STACKBYTES 4096
#endif

#endif