| Reminder, we will discuss an interesting microkernel/history/lessons-learned paper. 
 
 -Venkat Hi all, 
 
 We will read the paper,  "From L3 to seL4: What Have We Learn in 20 Years of L4 Microkernels?",  that we couldn't discuss previous week. 
 
 When & where: Friday, 03/07 12-1pm; CS4310  
 
 -Venkat 
 
 Hi all,
  It turns out that many won't be able to make the discussion today noon, for various reason. We will be postponing the discussion to a later day next week, consensus points to Tuesday noon, for now.
  I will keep things posted!
  Thanks, Venkat
  On 02/24/2014 08:58 AM, Venkatanathan Varadarajan wrote:
 Hi all,
  This week we will read the paper, "From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels?"
  When and where: CS4310 and 02/28 12-1pm. Link: http://dl.acm.org/citation.cfm?doid=2517349.2522720 The video/audio recordings are up as well if you are interested, here : http://sigops.org/sosp/sosp13/program.html
  As some of you have noticed, previous week we did not have any discussion. This was sadly because there were no one available to lead the discussion.
  Thanks, Venkat
 
 
 
 
  OS-reading mailing list os-reading@xxxxxxxxxxx https://lists.cs.wisc.edu/mailman/listinfo/os-reading
 
  
 
 
  OS-reading mailing list os-reading@xxxxxxxxxxx https://lists.cs.wisc.edu/mailman/listinfo/os-reading
  
  OS-reading mailing list os-reading@xxxxxxxxxxx https://lists.cs.wisc.edu/mailman/listinfo/os-reading
 
  |  
 Attachment:
signature.asc 
Description: Message signed with OpenPGP using GPGMail 
 |