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";<[email protected]>;
Date: Thu, Sep 24, 2015 10:00 AM
To: "devel"<[email protected]>;
Subject: Devel Digest, Vol 16, Issue 12
Send Devel mailing list submissions to
[email protected]
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
[email protected]
You can reach the person managing the list at
[email protected]
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 <[email protected]>
To: seL4 <[email protected]>
Subject: [seL4] Reminder: Developers Day registration closes Monday
Message-ID: <[email protected]>
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
[email protected]
https://sel4.systems/lists/listinfo/devel
------------------------------
End of Devel Digest, Vol 16, Issue 12
*************************************_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
