libk  Diff

Differences From Artifact [1f91f150ef]:

To Artifact [62a3920f4e]:


     5      5   
     6      6   #include <k/core.h>
     7      7   #include <k/def.h> // so we know what system this is
     8      8   #include <k/type.h>
     9      9   #ifdef KFenv_posix
    10     10   #	define KFplatform_define_types
    11     11   #	define KFplatform_define_constants
    12         -#	include <posix/posix.h>
           12  +#	include <posix.h>
    13     13   #endif
    14     14   
    15     15   /* this manual redefinition is necessary to stop gcc
    16     16    * bitching that kstop returns, which it def does not */
    17     17   noreturn extern struct k_platform_syscall_answer
    18     18   k_platform_syscall(enum k_platform_syscall call, u8 valency, 
    19     19   		k_platform_syscall_arg args[]);