/* sender.c - Sender task for asynchronous communication */

task Sender(void) {
    task_t self = task_self();
    msg_t  msg;

    task_setHandler(0); /* this task has no handlers */

    loop {
        /* interrupt Receiver.Sync */
        msg.srcTid = self;
        msg.dstTid = task_idOf("Receiver");
        msg.dstHid = 0; /* Sync = Handler Id #0 */
        msg.type   = msg_type_SYNC;
        task_interrupt(&msg);
        /* ... */
    }
}
