I want to transplant the Refos into the ZYNQ board,Now everything is ok,except the timer server. Could you give me some advices about how to modify timer server's file device_timer.c .
------------------ Original ------------------ From: "devel-request";devel-request@sel4.systems; Date: Thu, Sep 24, 2015 10:00 AM To: "devel"devel@sel4.systems;
Subject: Devel Digest, Vol 16, Issue 12
Send Devel mailing list submissions to devel@sel4.systems
To subscribe or unsubscribe via the World Wide Web, visit https://sel4.systems/lists/listinfo/devel or, via email, send a message with subject or body 'help' to devel-request@sel4.systems
You can reach the person managing the list at devel-owner@sel4.systems
When replying, please edit your Subject line so it is more specific than "Re: Contents of Devel digest..."
Today's Topics:
1. Reminder: Developers Day registration closes Monday (Gernot Heiser)
----------------------------------------------------------------------
Message: 1 Date: Wed, 23 Sep 2015 05:58:01 +0000 From: Gernot Heiser gernot@nicta.com.au To: seL4 devel@sel4.systems Subject: [seL4] Reminder: Developers Day registration closes Monday Message-ID: FD16E4F0-FD7A-494C-9432-AF1C4903E750@nicta.com.au Content-Type: text/plain; charset="us-ascii"
Details at https://sel4.systems/Community/Devdays/
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.
------------------------------
Subject: Digest Footer
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
------------------------------
End of Devel Digest, Vol 16, Issue 12 *************************************