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";;
Date: Thu, Sep 24, 2015 10:00 AM
To: "devel";
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
To: seL4
Subject: [seL4] Reminder: Developers Day registration closes Monday
Message-ID:
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
*************************************
