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
|