add debug console. start work on userland pagedir manipulation toolsHEADmain

1 files changed, 1 insertions, 0 deletions

diff --git a/hal/obj.h b/hal/obj.h
index 180b830..f19cf2c 100644
--- a/hal/obj.h
+++ b/hal/obj.h
@@ -23,6 +23,7 @@ void *obj_deref(jove_owned_obj_t *obj);
 /*Getters and setters for accessing the type field of the kernel object. */
 uint8_t obj_gettype(jove_owned_obj_t *obj);
 uint8_t obj_peektype(jove_obj_t obj);
+const char *obj_gettypename(jove_owned_obj_t *obj);
 void obj_settype(jove_owned_obj_t *obj, uint8_t type);
 
 /*Getters and setters for accessing the value field of the kernel object. */