Sadly CompCert is not FOSS.
To me it looks like FOSS. The source code is available to download and it allows to choose between INRIA Non-Commercial License and GNU GPLv2.
Other websites: Celebrating the free release of a classic game.
Slashdot: Angry DRM rant.
An old laptop pulling 150-200w or more. Sure makes sense. 200w can power 4 50" LED TVs now...
That's ignorant talk. Most laptops pull 10W to 50W depending on the load. Even old ones.