
<html style="direction: ltr;">

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

    <style type="text/css">body p { margin-bottom: 0.2cm; margin-top: 0pt; } </style>

  </head>

  <body style="direction: ltr;"

    bidimailui-detected-decoding-type="UTF-8" text="#000000"

    bgcolor="#FFFFFF">

    Hi all,<br>

    <br>

    There is a very good chance, if it can take place during February,

    that I can give the "Tickless kernel and other timer stuff" lecture

    Orna asked about a few weeks back.<br>

    <br>

    Let me know if there is interest.<br>

    <br>

    Shachar<br>

    <pre class="moz-signature" cols="72">-- 

Shachar Shemesh

</pre>

  </body>

</html>