libk  posix.h at [0d71b71cc8]

File arch/x86.lin.64/posix.h artifact 4a7813cd60 part of check-in 0d71b71cc8

/* no special changes are needed from the 
 * normal POSIX header. */

#include <arch/posix.h>