1 /* 64-bit C example kernel for Pure64 */
2 /* Written by Ian Seyler (www.returninfinity.com) */
5 unsigned int print(char *message
, unsigned int line
);
9 print("Welcome to your 64-bit OS written in C (Thanks to Pure64!).", 12);
12 // infinite loop of doing nothing
19 /* Kernel functions */
21 unsigned int print(char *message
, unsigned int line
)
23 char *vidmem
= (char *) 0xb8000;
28 while(*message
!=0) // 24h