| # 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 |
| flatbuffers==23.5.26 |
| |
| 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.16.0.dev20240207 |
| wget |
| yapf |
