proper limine terminal interface

src/include/kernel/liminetty.h

@@ -0,0 +1,16 @@
+#ifndef _LIMINETTY_H_INCLUDE
+#define _LIMINETTY_H_INCLUDE
+
+#include <limine.h>
+#include <kernel/vmm.h>
+
+void liminetty_write(int tty, const char* str, size_t len);
+struct limine_framebuffer* liminetty_getfb(int tty);
+void liminetty_setcallback(int tty, limine_terminal_callback callback);
+struct limine_terminal* liminetty_get(int tty);
+size_t liminetty_ttycount();
+void   liminetty_setcontext(vmm_context* ctx);
+void   liminetty_writeuser(const char* str, size_t len);
+void   liminetty_writekernel(const char* str, size_t len);
+
+#endif

src/include/kernel/vmm.h

@@ -64,4 +64,5 @@ bool		vmm_setfree(void* addr, size_t pagec);
 bool		vmm_allocnowat(void* addr, size_t mmuflags, size_t size);
 void*		vmm_allocfrom(void* addr, size_t mmuflags, size_t size);
 vmm_context*	vmm_newcontext();
+void		vmm_switchcontext(vmm_context*);
 #endif