Monthly Archives: February 2009

Looks like there’s another Gazelle in the herd. Microsoft Research has released a paper about a web browser called Gazelle: In this paper, we introduce Gazelle, a secure web browser constructed as a multi-principal OS. Gazelle’s Browser Kernel is an … Continue reading →

Came across this on Reddit today: TLSF is a general purpose dynamic memory allocator specifically designed to meet real-time requirements: Bounded Response Time . The worst-case execution time (WCET) of memory allocation and deallocation has got to be known in … Continue reading →

Following up on my last post, here’s what I’d like to do someday (read: in the future. not now). I’d like to create a language that is as much like Lua as possible, but adds just enough to make it … Continue reading →

I have spent the entire weekend hacking on Gazelle and I have to say I’m somewhat disappointed in my results. I was looking quite forward to Gazelle-hacking this weekend. There is so much I want to do — so many … Continue reading →