IBOS (Illinois Browser Operating System)

Combined operating system and browser on the L4Ka::Pistachio microkernel, with an adapted WebKit, to shrink the browser's trusted computing base (OSDI 2010).

Facts

Developer

University of Illinois (Shuo Tang, Haohui Mai, Samuel T. King)

Website

—

Engine

WebKit

Platforms

Other

Details

IBOS on x86-64

Popularity

8/100 — Research prototype

Sources

1. https://www.usenix.org/conference/osdi10/trust-and-protection-illinois-browser-operating-system
2. https://bob.cs.ucdavis.edu/assets/dl/ibos.pdf