-#include <nit_common.h>
-#include "kernel._sep.h"
-#ifndef KERNEL_NITNI_H
-#define KERNEL_NITNI_H
-
-#ifndef Pointer
- typedef void* Pointer;
-#endif
+/*
+ Extern implementation of Nit module kernel
+*/
+#ifndef KERNEL_NITG_NITNI_H
+#define KERNEL_NITG_NITNI_H
+#include "kernel._ffi.h"
#endif