cleanup & ocamldoc work
cleanup & ocamldoc work
Some simple changes before thread IDs.
OSEK: flag tests
OSEK: typo fix
Start functions take varinfo argument.
Merge remote-tracking branch 'upstream/master'