On 29/6/2023 3:41 am, Sebastian Huber wrote: > On 16.06.23 08:00, Sebastian Huber wrote: >> The register block specification were recently integrated in the RTEMS >> Software Engineering manual. Now it is time to integrate the >> pre-qualified LEON3 BSP which uses the generated GRLIB header files. >> >> The existing tests in the RTEMS test suite are basically BSP >> independent. This patch set introduces BSP-specific validation tests. >> These tests are disabled for other BSPs through the build system, for >> example: >> >> spec/build/testsuites/validation/bsp-sparc-leon3-gr712rc.yml >> [...] >> cxxflags: [] >> enabled-by: sparc/gr712rc >> features: c cprogram >> [...] >> >> The patch set introduces new header files for GRLIB in >> "bsps/include/grlib". These header files were generated from >> specification items in: >> >> https://github.com/RTEMS/rtems-central/tree/master/spec/dev/grlib/if >> >> The specification was created using the GRIP reference manual >> (https://www.gaisler.com/products/grlib/grip.pdf) and is quite complete. >> The generated header files were reviewed by the ISVV activity which >> resulted in two tickets: >> >> https://devel.rtems.org/ticket/4828 >> >> https://devel.rtems.org/ticket/4842 >> >> In the long term, the existing GRLIB header files should be replaced by >> the generated header files. Using specification items for the register >> blocks has the potential benefit that, in addition to the C header >> files, files for C++/Rust/Python could be generated. >> >> The main change for the sparc/gr712rc and sparc/gr740 BSPs is the >> removal of the dynamic device enumeration in favor of a static >> initialization. This greatly simplifies the specification and >> validation of the BSP-specific parts. It also reduces the code and data >> size for applications which do not need the dynamic device enumeration. >> >> v2: >> >> * Move BSP-specific tests to "testsuites/validation/bsps". >> >> * Rearrange patches so that they build individually. > > Any comments to this patch set? For the leon3-specific parts I wait for a > review > from Gaisler.
Nothing new from me. I still do not see how the reg struct is verified however you are fine with that. I do not use this code. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel