Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 50 | logplain |
-rw-r--r-- | .gitmodules | 315 | logplain |
-rw-r--r-- | Makefile | 672 | logplain |
-rw-r--r-- | README.md | 4827 | logplain |
-rw-r--r-- | config.yml | 2642 | logplain |
d--------- | external | 102 | logplain |
d--------- | git-hooks | 43 | logplain |
-rw-r--r-- | requirements.txt | 455 | logplain |
-rwxr-xr-x | rtems_spec_to_x.py | 4211 | logplain |
d--------- | rtemsqual | 456 | logplain |
d--------- | spec | 274 | logplain |
-rwxr-xr-x | specverify.py | 1824 | logplain |
d--------- | templates | 36 | logplain |