On 16/11/2022 17:44, Gedare Bloom wrote:
I guess I was overly optimistic last night. The note on the front matter should be resolved before we push the full documentation. I guess it's a bit of chicken-and-egg but the documentation should be pushed concurrent with the software that it documents. So, when there is a `formal` folder in `rtems-central` then it makes sense to push this documentation. I think the documentation is valuable, but I'm not sure how relevant it is without the associated tooling?
Since rtems-central is currently a bit isolated, we could start with the integration of the "formal" directory.
Andrew, please check that every file in "formal" has a clear copyright and license statement (SPDX identifiers would be great). If you used third-party code, then there should be one commit which adds this third-party code unmodified with a source of origin in the commit message.
-- embedded brains GmbH Herr Sebastian HUBER Dornierstr. 4 82178 Puchheim Germany email: sebastian.hu...@embedded-brains.de phone: +49-89-18 94 741 - 16 fax: +49-89-18 94 741 - 08 Registergericht: Amtsgericht München Registernummer: HRB 157899 Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler Unsere Datenschutzerklärung finden Sie hier: https://embedded-brains.de/datenschutzerklaerung/ _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
