893244c
3558f18
1 2 3 4 5 6
7
8
void printk(char *s) { asm volatile("int $64" : : "a"(4), "b"(s)); } void start() { printk("Hi world !"); asm volatile("int $64" : : "a"(3), "b"(0)); }