summaryrefslogtreecommitdiffstats
path: root/spec (follow)
Commit message (Expand)AuthorAgeFilesLines
* spec: Fix powerpc in test caseHEADmasterSebastian Huber10 days1-1/+1
* spec: Fix synchronization issuesSebastian Huber10 days1-0/+1
* spec: Specify the global construction for aarch64Sebastian Huber10 days3-0/+3
* spec: Improve bad thread dispatch validationSebastian Huber10 days1-9/+59
* spec: Specify Xilinx TTC clock driverSebastian Huber10 days9-1/+273
* spec: Move clock driver groupSebastian Huber10 days3-5/+5
* spec: Move device driver groupSebastian Huber10 days2-2/+2
* spec: Add tests for compiler builtinsSebastian Huber2024-04-061-14/+207
* spec: Avoid -Wundef warnings in API headerSebastian Huber2024-03-233-6/+18
* spec: Fix CONFIGURE_TICKS_PER_TIMESLICE constraintSebastian Huber2024-03-211-1/+1
* spec: Fix typoSebastian Huber2024-01-261-1/+1
* spec: Document assert-in-set actionSebastian Huber2024-01-261-0/+4
* spec/cache/coherent: Add return value for add areaKinsey Moore2024-01-261-2/+10
* spec: Support more BSPs in validation testSebastian Huber2023-12-191-6/+3
* spec: Add JFFS2 delayed write task priorityKinsey Moore2023-12-191-0/+22
* spec: Fix enabled-bySebastian Huber2023-11-273-3/+3
* spec: Add runtime performance limitsSebastian Huber2023-11-272-0/+122
* spec: Remove superfluous includesSebastian Huber2023-11-231-4/+0
* spec: Improve MrsP specificationSebastian Huber2023-11-234-37/+44
* spec: Fix typo in nameSebastian Huber2023-11-216-6/+6
* spec: Specify thread dispatch detailSebastian Huber2023-11-212-1/+100
* spec: Fix memory benchmark configurationsSebastian Huber2023-11-2112-0/+24
* spec: Make SMP memory benchmarks optionalSebastian Huber2023-11-2110-10/+10
* spec: Add SIS descriptionsSebastian Huber2023-11-212-6/+14
* spec: Add Gaisler board descriptionsDaniel Hellstrom2023-11-212-6/+150
* spec: Add runtime performance limitsSebastian Huber2023-11-212-0/+122
* spec: Update performance limits for gr712rcSebastian Huber2023-11-213-1706/+1854
* spec: Adjust target hashesSebastian Huber2023-11-214-4/+4
* spec: Add missing verbSebastian Huber2023-11-211-4/+4
* spec: Fix typosSebastian Huber2023-11-212-4/+4
* spec: Validate user interfacesSebastian Huber2023-11-211-0/+17
* spec: Validate build optionsSebastian Huber2023-11-211-0/+29
* spec: Validate C interfacesSebastian Huber2023-11-215-8/+89
* spec: Validate compiler interfacesSebastian Huber2023-11-211-0/+43
* spec: Validate documentation interfacesSebastian Huber2023-11-211-0/+43
* spec: Validate implementation interfacesSebastian Huber2023-11-211-0/+347
* spec: Add valid by construction analysisSebastian Huber2023-11-211-0/+329
* spec: Fix enabled-bySebastian Huber2023-11-212-2/+2
* spec: Fix validation test for microblazeSebastian Huber2023-11-071-0/+17
* spec: Improve thread idle bodies testSebastian Huber2023-11-071-4/+15
* spec: More unit tests for compiler builtinsSebastian Huber2023-11-031-5/+346
* spec: Test CPU performanceSebastian Huber2023-10-124-0/+134
* spec: Unit tests for compiler builtinsSebastian Huber2023-10-122-0/+499
* spec: Use validation links for unit testsSebastian Huber2023-10-123-3/+3
* spec: Support powerpc in test caseSebastian Huber2023-10-121-0/+17
* spec: Clarify performance requirementSebastian Huber2023-09-261-2/+3
* spec: Compatibility for other RTEMS versionsSebastian Huber2023-09-263-6/+12
* spec: Simplify partition performance testSebastian Huber2023-09-261-2/+1
* spec: Specify interrupt service detailSebastian Huber2023-09-263-0/+219
* spec: Improve RTEMS_DEFINE_GLOBAL_SYMBOL() testsSebastian Huber2023-09-181-0/+21