ppc64: Don't set Kp bit on SLB

[openbios/afaerber.git] / utils / ofclient / ofclient.c

#include "of1275.h"

int write(int fd, char *buf, int len);

int main(void)
{
        write(1, "Hello world!\n", 13 );
        return 0;
}