| # pin to v4.0.0 since newer pushes are broken | |
| # TODO(jtgans): Remove this pinning once upstream is unborked. | |
| fixtures==4.0.0 | |
| # TODO(hcindyl): Use camkes-deps 0.7.4 directly instead of explicitly installing | |
| # the depedency packages. | |
| aenum | |
| jinja2>=3.0.0 | |
| ordered-set | |
| plyplus | |
| pyelftools | |
| sel4-deps | |
| pycparser | |
| pyfdt | |
| concurrencytest | |
| # capDL deps | |
| sortedcontainers | |
| hypothesis | |
| # Robot test framework for FPGA tests | |
| pyserial | |
| # camkes-deps | |
| # Flatbuffers for TBM trace data. Relax the version range to resolve tf-nightly | |
| # depenedency. | |
| flatbuffers>=23.5.26 | |
| filecheck | |
| hjson | |
| jsonschema | |
| lit | |
| mako | |
| matplotlib | |
| netifaces | |
| pandas | |
| pexpect-serial | |
| psutil | |
| pyfzf | |
| pyserial | |
| pyyaml | |
| requests | |
| robotframework==6.0.2 | |
| scipy | |
| sel4-deps | |
| setuptools | |
| tf-nightly==2.19.0.dev20241106 | |
| wget | |
| yapf |