Hi The problem is solved : I upgraded gcc 4.2 and binutils 2.18. I also had to completely purge build directory of fiasco. ovlscreen_drv works as no assembler ipc shortcut. Thank you Adam for your help.
Regards Marc _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers