Sebastian Huber commented on a discussion: 
https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/1122#note_146786


I am not per se against format changes, however, it would be nice if we could 
reduce the amount of customization done for the pre-qualified RTEMS first by 
integrating the essential parts.

There is no need that this `RTEMS_QUAL` build option is visible in `cpuopts.h`. 
It can be a build system only option present or not present in the enabled set 
of the build configuration.

Independent of this, having a tool enforced format is nice, however, even 
better would be a format checking against a specification. This feature is 
provided by the `specwareverify` tool of 
[specware](https://pypi.org/project/specware/).  It would be easy to add a 
formatting tool as well.

For the usability of the specware tooling, it is important that you can save 
items in the right format, so it would be good to agree on a format which can 
be created by `yaml.dump()`.

-- 
View it on GitLab: 
https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/1122#note_146786
You're receiving this email because of your account on gitlab.rtems.org.


_______________________________________________
bugs mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/bugs

Reply via email to