libk  posix.h at tip

File arch/x86.lin.64/posix.h from the latest check-in

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

#include <arch/posix.h>