際際滷shows by User: microkerneldude / http://www.slideshare.net/images/logo.gif 際際滷shows by User: microkerneldude / Thu, 19 Dec 2019 03:38:42 GMT 際際滷Share feed for 際際滷shows by User: microkerneldude The Quest for the Perfect API /slideshow/the-quest-for-the-perfect-api/207517694 heiser-perfectapi-191219033842
Discusses my 25-year journey for finding the perfect operating-system interface, covering our work on the Mungi single-address-space operating system (SASOS), early work on L4 microkernels, and now the seL4 microkernel, its evolution and verification. Talk originally given at a seminar series hosted by VMware Research on occasion of the company's 20st anniversary.]]>
Discusses my 25-year journey for finding the perfect operating-system interface, covering our work on the Mungi single-address-space operating system (SASOS), early work on L4 microkernels, and now the seL4 microkernel, its evolution and verification. Talk originally given at a seminar series hosted by VMware Research on occasion of the company's 20st anniversary.]]> Thu, 19 Dec 2019 03:38:42 GMT /slideshow/the-quest-for-the-perfect-api/207517694 microkerneldude@slideshare.net(microkerneldude) The Quest for the Perfect API microkerneldude Discusses my 25-year journey for finding the perfect operating-system interface, covering our work on the Mungi single-address-space operating system (SASOS), early work on L4 microkernels, and now the seL4 microkernel, its evolution and verification. Talk originally given at a seminar series hosted by VMware Research on occasion of the company's 20st anniversary. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/heiser-perfectapi-191219033842-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Discusses my 25-year journey for finding the perfect operating-system interface, covering our work on the Mungi single-address-space operating system (SASOS), early work on L4 microkernels, and now the seL4 microkernel, its evolution and verification. Talk originally given at a seminar series hosted by VMware Research on occasion of the company&#39;s 20st anniversary.
The Quest for the Perfect API from microkerneldude
]]> 465 3 https://cdn.slidesharecdn.com/ss_thumbnails/heiser-perfectapi-191219033842-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Flying Autonomous Aircraft: Mixed-Criticality Support in seL4 /slideshow/flying-autonomous-aircraft-mixedcriticality-support-in-sel4/92373288 1801-lca-180330012223
Talk given at linux.conf.au 2018-01-26 (LCA'18)]]>
Talk given at linux.conf.au 2018-01-26 (LCA'18)]]> Fri, 30 Mar 2018 01:22:23 GMT /slideshow/flying-autonomous-aircraft-mixedcriticality-support-in-sel4/92373288 microkerneldude@slideshare.net(microkerneldude) Flying Autonomous Aircraft: Mixed-Criticality Support in seL4 microkerneldude Talk given at linux.conf.au 2018-01-26 (LCA'18) <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/1801-lca-180330012223-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Talk given at linux.conf.au 2018-01-26 (LCA&#39;18)
Flying Autonomous Aircraft: Mixed-Criticality Support in seL4 from microkerneldude
]]> 1123 5 https://cdn.slidesharecdn.com/ss_thumbnails/1801-lca-180330012223-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Microkernel design /slideshow/microkernel-design-39740042/39740042 zthgcfcbq2wdhbyfhc2q-signature-e29aeb51849ee5e494677225ca39d19a1c1f8615753280d11f0f7372f4bd4994-poli-141001032312-phpapp02
design and implementation of high-performance microkernels and how it evolved over the years]]>
design and implementation of high-performance microkernels and how it evolved over the years]]> Wed, 01 Oct 2014 03:23:12 GMT /slideshow/microkernel-design-39740042/39740042 microkerneldude@slideshare.net(microkerneldude) Microkernel design microkerneldude design and implementation of high-performance microkernels and how it evolved over the years <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/zthgcfcbq2wdhbyfhc2q-signature-e29aeb51849ee5e494677225ca39d19a1c1f8615753280d11f0f7372f4bd4994-poli-141001032312-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> design and implementation of high-performance microkernels and how it evolved over the years
Microkernel design from microkerneldude
]]> 2393 3 https://cdn.slidesharecdn.com/ss_thumbnails/zthgcfcbq2wdhbyfhc2q-signature-e29aeb51849ee5e494677225ca39d19a1c1f8615753280d11f0f7372f4bd4994-poli-141001032312-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 From L3 to seL4: What have we learnt in 20 years of L4 microkernels /slideshow/from-l3-to-sel4-what-have-we-learnt-in-20-years-l4/39738362 wbyh6llhqguhouwvsadv-signature-816928e4defcf55bd5312b3038cea4dc181a2fbfb2385e7cfc6bd0c55dd54eae-poli-141001023800-phpapp01
History of L4 microkernels. Look at Jochen Liedtke's original design and implementation insights and how they stood the test of time. What do latest-generation microkernels look like, especially seL4]]>
History of L4 microkernels. Look at Jochen Liedtke's original design and implementation insights and how they stood the test of time. What do latest-generation microkernels look like, especially seL4]]> Wed, 01 Oct 2014 02:38:00 GMT /slideshow/from-l3-to-sel4-what-have-we-learnt-in-20-years-l4/39738362 microkerneldude@slideshare.net(microkerneldude) From L3 to seL4: What have we learnt in 20 years of L4 microkernels microkerneldude History of L4 microkernels. Look at Jochen Liedtke's original design and implementation insights and how they stood the test of time. What do latest-generation microkernels look like, especially seL4 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/wbyh6llhqguhouwvsadv-signature-816928e4defcf55bd5312b3038cea4dc181a2fbfb2385e7cfc6bd0c55dd54eae-poli-141001023800-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> History of L4 microkernels. Look at Jochen Liedtke&#39;s original design and implementation insights and how they stood the test of time. What do latest-generation microkernels look like, especially seL4
From L3 to seL4: What have we learnt in 20 years of L4 microkernels from microkerneldude
]]> 1438 2 https://cdn.slidesharecdn.com/ss_thumbnails/wbyh6llhqguhouwvsadv-signature-816928e4defcf55bd5312b3038cea4dc181a2fbfb2385e7cfc6bd0c55dd54eae-poli-141001023800-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 seL4 intro /slideshow/sel4-intro/39738251 zffrz8burzeikq84bome-signature-816928e4defcf55bd5312b3038cea4dc181a2fbfb2385e7cfc6bd0c55dd54eae-poli-141001023454-phpapp02
Introduction to principles, concepts and mechanisms of the seL4 microkernel. Overview of the kernel API and programming examples]]>
Introduction to principles, concepts and mechanisms of the seL4 microkernel. Overview of the kernel API and programming examples]]> Wed, 01 Oct 2014 02:34:54 GMT /slideshow/sel4-intro/39738251 microkerneldude@slideshare.net(microkerneldude) seL4 intro microkerneldude Introduction to principles, concepts and mechanisms of the seL4 microkernel. Overview of the kernel API and programming examples <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/zffrz8burzeikq84bome-signature-816928e4defcf55bd5312b3038cea4dc181a2fbfb2385e7cfc6bd0c55dd54eae-poli-141001023454-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Introduction to principles, concepts and mechanisms of the seL4 microkernel. Overview of the kernel API and programming examples
seL4 intro from microkerneldude
]]> 3166 5 https://cdn.slidesharecdn.com/ss_thumbnails/zffrz8burzeikq84bome-signature-816928e4defcf55bd5312b3038cea4dc181a2fbfb2385e7cfc6bd0c55dd54eae-poli-141001023454-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Affordable trustworthy-systems /microkerneldude/affordable-trustworthysystems njaxxpcsgenfaemvrltu-signature-816928e4defcf55bd5312b3038cea4dc181a2fbfb2385e7cfc6bd0c55dd54eae-poli-141001022036-phpapp02
overview of NICTA's Trustworthy Systems research. Formal verification of the seL4 microkernel, what it means, how to use it to build trustworthy systems. Cost of verified systems]]>
overview of NICTA's Trustworthy Systems research. Formal verification of the seL4 microkernel, what it means, how to use it to build trustworthy systems. Cost of verified systems]]> Wed, 01 Oct 2014 02:20:35 GMT /microkerneldude/affordable-trustworthysystems microkerneldude@slideshare.net(microkerneldude) Affordable trustworthy-systems microkerneldude overview of NICTA's Trustworthy Systems research. Formal verification of the seL4 microkernel, what it means, how to use it to build trustworthy systems. Cost of verified systems <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/njaxxpcsgenfaemvrltu-signature-816928e4defcf55bd5312b3038cea4dc181a2fbfb2385e7cfc6bd0c55dd54eae-poli-141001022036-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> overview of NICTA&#39;s Trustworthy Systems research. Formal verification of the seL4 microkernel, what it means, how to use it to build trustworthy systems. Cost of verified systems
Affordable trustworthy-systems from microkerneldude
]]> 1383 3 https://cdn.slidesharecdn.com/ss_thumbnails/njaxxpcsgenfaemvrltu-signature-816928e4defcf55bd5312b3038cea4dc181a2fbfb2385e7cfc6bd0c55dd54eae-poli-141001022036-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://public.slidesharecdn.com/v2/images/profile-picture.png https://cdn.slidesharecdn.com/ss_thumbnails/heiser-perfectapi-191219033842-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/the-quest-for-the-perfect-api/207517694 The Quest for the Perf... https://cdn.slidesharecdn.com/ss_thumbnails/1801-lca-180330012223-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/flying-autonomous-aircraft-mixedcriticality-support-in-sel4/92373288 Flying Autonomous Airc... https://cdn.slidesharecdn.com/ss_thumbnails/zthgcfcbq2wdhbyfhc2q-signature-e29aeb51849ee5e494677225ca39d19a1c1f8615753280d11f0f7372f4bd4994-poli-141001032312-phpapp02-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/microkernel-design-39740042/39740042 Microkernel design