CertPCSpkr_linux v0.6.1

This is a bugfix release. In v0.6.0, the makefile had a bug, making normal compilation (without CompCert) impossible since the source files of the synthesised code were not copied for that target anymore.

CertPCSpkr_linux v0.6

This release includes the possibility to compile the synthesised portions (the event functionality and glue code) using CompCert which extends the correctness guarantees.

First Release

This release contains the stable partially synthesised Linux PC Speaker driver.