seL4/seL4 — pull request #6 by maxrp (2014-08-04 02:01:33+00:00)
Title: Use usr/bin/env for all python bangpaths to enable virtualenv use.

Very useful with python3 as the default platform.