working dos vga writes!

Common/Std/stub.c

@@ -1,23 +1,13 @@
 #include "../std.h"
 
 #include "any.c"
+#include "nolibc.c"
 
 #include <stdbool.h>
 #include <stddef.h>
 
 void *com_std_alloc(void *ptr, size_t size) { return NULL; }
 
-double com_std_sqrt(double v) { return __builtin_sqrt(v); }
-double com_std_fabs(double v) { return __builtin_fabs(v); }
-#if COM_DEF_COMPILER == COM_DEF_COMPILER_CLANG
-double com_std_sin(double v) { return __builtin_sin(v); }
-double com_std_cos(double v) { return __builtin_cos(v); }
-#else
-/* TODO: Use fsin/fcos, no matter how slow. */
-double com_std_sin(double v) { return 0; }
-double com_std_cos(double v) { return 0; }
-#endif
-
 com_std_fd com_std_open(char const *path, uint32_t flags) { return NULL; }
 bool com_std_write(com_std_fd fd, void const *data, uint32_t bytes) {
   return false;
@@ -28,7 +18,7 @@ com_std_fd com_std_socket(bool isnetwork) { return NULL; }
 bool com_std_connect(com_std_fd fd, bool isnetwork, char const *address) {
   return false;
 }
-void com_std_exit(uint32_t status) {
+void com_std_exit(int32_t status) {
   __builtin_trap();
   while (1) {
   }