The lotos directory is intended to store the rt-lotos files generated from TTool. To generate these files, please refer to http://labsoc.comelec.enst.fr/turtle/HELP
\ No newline at end of file
The lotos directory is intended to store the rt-lotos files generated from TTool. To generate these files, please refer to the TTool website