View Detailed Profile
L3 Microkernel - Georgia Tech - Advanced Operating Systems

L3 Microkernel - Georgia Tech - Advanced Operating Systems

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud189/l-635748850/m-652098630 Check out the full

Strikes Against Microkernel - Georgia Tech - Advanced Operating Systems

Strikes Against Microkernel - Georgia Tech - Advanced Operating Systems

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud189/l-635748850/m-652098631 Check out the full

Thesis of L3 for OS Structuring - Georgia Tech - Advanced Operating Systems

Thesis of L3 for OS Structuring - Georgia Tech - Advanced Operating Systems

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud189/l-635748850/m-652098645 Check out the full

Downside to Microkernel - Georgia Tech - Advanced Operating Systems

Downside to Microkernel - Georgia Tech - Advanced Operating Systems

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud189/l-623598578/m-603099173 Check out the full

From L3 to seL4 what have we learnt in 20 years of L4 microkernels?

From L3 to seL4 what have we learnt in 20 years of L4 microkernels?

The L4

Exokernel vs Spin Quiz Solution - Georgia Tech - Advanced Operating Systems

Exokernel vs Spin Quiz Solution - Georgia Tech - Advanced Operating Systems

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud189/l-649858576/e-636248572/m-636248574 Check out the full ...

Nucleus  Microkernel  of Spring - Georgia Tech - Advanced Operating Systems

Nucleus Microkernel of Spring - Georgia Tech - Advanced Operating Systems

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud189/l-416818676/m-444318594 Check out the full

Performance Results of Spin and Exokernel - Georgia Tech - Advanced Operating Systems

Performance Results of Spin and Exokernel - Georgia Tech - Advanced Operating Systems

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud189/l-649858576/m-636248584 Check out the full

Lesson Summary - Georgia Tech - Advanced Operating Systems

Lesson Summary - Georgia Tech - Advanced Operating Systems

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud189/l-325159338/m-375558562 Check out the full

Exokernel vs Spin Quiz - Georgia Tech - Advanced Operating Systems

Exokernel vs Spin Quiz - Georgia Tech - Advanced Operating Systems

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud189/l-649858576/e-636248572/m-636248573 Check out the full ...

Exokernel Approach to Extensibility - Georgia Tech - Advanced Operating Systems

Exokernel Approach to Extensibility - Georgia Tech - Advanced Operating Systems

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud189/l-649858576/m-636248569 Check out the full

Introduction - Georgia Tech - Advanced Operating Systems

Introduction - Georgia Tech - Advanced Operating Systems

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud189/l-635748850/m-652098627 Check out the full

Microkernel based OS Structure - Georgia Tech - Advanced Operating Systems

Microkernel based OS Structure - Georgia Tech - Advanced Operating Systems

Watch on Udacity: https://www.udacity.com/course/viewer#!/c-ud189/l-623598578/m-603099172 Check out the full