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 . 

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
*************************************