summaryrefslogtreecommitdiffstats
path: root/spec (unfollow)
Commit message (Expand)AuthorFilesLines
2024-04-17spec: Fix powerpc in test caseHEADmasterSebastian Huber1-1/+1
2024-04-17spec: Fix synchronization issuesSebastian Huber1-0/+1
2024-04-17spec: Specify the global construction for aarch64Sebastian Huber3-0/+3
2024-04-17spec: Improve bad thread dispatch validationSebastian Huber1-9/+59
2024-04-17spec: Specify Xilinx TTC clock driverSebastian Huber9-1/+273
2024-04-17spec: Move clock driver groupSebastian Huber3-5/+5
2024-04-17spec: Move device driver groupSebastian Huber2-2/+2
2024-04-06spec: Add tests for compiler builtinsSebastian Huber1-14/+207
2024-03-23spec: Avoid -Wundef warnings in API headerSebastian Huber3-6/+18
2024-03-21spec: Fix CONFIGURE_TICKS_PER_TIMESLICE constraintSebastian Huber1-1/+1
2024-01-26spec: Fix typoSebastian Huber1-1/+1
2024-01-26spec: Document assert-in-set actionSebastian Huber1-0/+4
2024-01-26spec/cache/coherent: Add return value for add areaKinsey Moore1-2/+10
2023-12-19spec: Support more BSPs in validation testSebastian Huber1-6/+3
2023-12-19spec: Add JFFS2 delayed write task priorityKinsey Moore1-0/+22
2023-11-27spec: Fix enabled-bySebastian Huber3-3/+3
2023-11-27spec: Add runtime performance limitsSebastian Huber2-0/+122
2023-11-23spec: Remove superfluous includesSebastian Huber1-4/+0
2023-11-23spec: Improve MrsP specificationSebastian Huber4-37/+44
2023-11-21spec: Fix typo in nameSebastian Huber6-6/+6
2023-11-21spec: Specify thread dispatch detailSebastian Huber2-1/+100
2023-11-21spec: Fix memory benchmark configurationsSebastian Huber12-0/+24
2023-11-21spec: Make SMP memory benchmarks optionalSebastian Huber10-10/+10
2023-11-21spec: Add SIS descriptionsSebastian Huber2-6/+14
2023-11-21spec: Add Gaisler board descriptionsDaniel Hellstrom2-6/+150
2023-11-21spec: Add runtime performance limitsSebastian Huber2-0/+122
2023-11-21spec: Update performance limits for gr712rcSebastian Huber3-1706/+1854
2023-11-21spec: Adjust target hashesSebastian Huber4-4/+4
2023-11-21spec: Add missing verbSebastian Huber1-4/+4
2023-11-21spec: Fix typosSebastian Huber2-4/+4
2023-11-21spec: Validate user interfacesSebastian Huber1-0/+17
2023-11-21spec: Validate build optionsSebastian Huber1-0/+29
2023-11-21spec: Validate C interfacesSebastian Huber5-8/+89
2023-11-21spec: Validate compiler interfacesSebastian Huber1-0/+43
2023-11-21spec: Validate documentation interfacesSebastian Huber1-0/+43
2023-11-21spec: Validate implementation interfacesSebastian Huber1-0/+347
2023-11-21spec: Add valid by construction analysisSebastian Huber1-0/+329
2023-11-21spec: Fix enabled-bySebastian Huber2-2/+2
2023-11-07spec: Fix validation test for microblazeSebastian Huber1-0/+17
2023-11-07spec: Improve thread idle bodies testSebastian Huber1-4/+15
2023-11-03spec: More unit tests for compiler builtinsSebastian Huber1-5/+346
2023-10-12spec: Test CPU performanceSebastian Huber4-0/+134
2023-10-12spec: Unit tests for compiler builtinsSebastian Huber2-0/+499
2023-10-12spec: Use validation links for unit testsSebastian Huber3-3/+3
2023-10-12spec: Support powerpc in test caseSebastian Huber1-0/+17
2023-09-26spec: Clarify performance requirementSebastian Huber1-2/+3
2023-09-26spec: Compatibility for other RTEMS versionsSebastian Huber3-6/+12
2023-09-26spec: Simplify partition performance testSebastian Huber1-2/+1
2023-09-26spec: Specify interrupt service detailSebastian Huber3-0/+219
2023-09-18spec: Improve RTEMS_DEFINE_GLOBAL_SYMBOL() testsSebastian Huber1-0/+21