Hi, try to add "name::/s0/timer" to the hello config.
Cheers, Alexander Böttcher. Mehdi AICHOUCH <foxme...@gmail.com> schrieb: >_______________________________________________ >l4-hackers mailing list >l4-hackers@os.inf.tu-dresden.de >http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers