On 14/08/2015 6:34 am, Daniel Gutson wrote: > I'd recommend a gcc plugin that generates your annotations;
There is a Python framework for plugins to help make things easier ... http://gcc-python-plugin.readthedocs.org/en/latest/index.html Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel