diff --git a/include/kernel.h b/include/kernel.h
index 58bce52..48796ab 100644
--- a/include/kernel.h
+++ b/include/kernel.h
@@ -21,6 +21,7 @@
 #include <stdint.h>
 #include <stdbool.h>
 #include <float.h>
+#include <x86intrin.h>
 
 #include <efibind.h>
 #include <efitypes.h>
@@ -626,7 +627,7 @@ void        PrepareSystem(FILELOADER_PARAMS* FLOP);
 
 /* System Utilities */
 size_t      ClockTick(void);
-void        Halt(void);
+void        panic(void);
 void        PrepareAVX(void);
 void        AVXStub(void);
 void        PrepareMaskableInterrupts(void);
@@ -730,6 +731,13 @@ void timer_install();
 
 /*  ==================== Memory ==================== */
 
+// Standard GCC reqs
+void* memmove (void* dest, const void* src, size_t len);
+void memset(void* src, int chr, size_t n);
+void memcpy(void* dest, void* src, size_t n);
+int memcmp (const void* str1, const void* str2, size_t count);
+
+
 uint8_t VerifyZero(size_t Length, size_t Start);
 
 size_t  FetchMemoryLimit(void);
@@ -755,9 +763,10 @@ EFI_PHYSICAL_ADDRESS AllocatePagetable(size_t PagetableSize);
 /*     AVX     */
 void* memmoveAVX(void* Dest, void* Source, size_t Length);
 void* memcpyAVX(void* Dest, void* Source, size_t Length);
-void* memsetAVX(void* Dest, void* Source, size_t Length);
-void* memsetAVX_By4Bytes(void* Dest, void* Source, size_t Length);
+void* memsetAVX(void* Dest, const uint8_t Source, size_t Length);
+void* memsetAVX_By4Bytes(void* Dest, const uint32_t Source, size_t Length);
 uint8_t memcmpAVX(const void* String1, const void* String2, size_t Length);
+#define CACHESIZE 3*1024*1024
 
 
 /*     Physical Addresses     */