[amluto]

Nice article!

If you want to have lots of fun, you could look at switch_mm() on a modern kernel :)