Re: [seL4] How to modify timer server in refos

For starters, please observe reasonable email etiquette. Replying to a totally unrelated message, or worse, a digest, is not the recommended way to use a technical discussion list. Gernot ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.