@@ -5,13 +5,23 @@
 
 #include <k/core.h>
 #include <k/def.h> // so we know what system this is
 #include <k/type.h>
-
 #ifdef KFenv_posix
-#	define STOPFN kio_posix_exit
-	extern noreturn void STOPFN(int);
-#else
-	Knoimpl(kstop)
+#	define KFplatform_define_types
+#	define KFplatform_define_constants
+#	include <posix.h>
 #endif
 
-noreturn void kstop (stat_long code) { STOPFN(code); }
+noreturn extern struct k_platform_syscall_answer
+k_platform_syscall(enum k_platform_syscall call, u8 valency, 
+		k_platform_syscall_arg args[]);
+
+noreturn void kstop(stat_long code) {
+#	ifdef KFenv_posix
+		k_platform_syscall_arg exit_code[] = { code };
+		k_platform_syscall(k_platform_syscall_exit, 1, exit_code);
+#	else
+		Knoimpl(kstop)
+#	endif
+}
+