update the tool-suite, lfs, and environment post-release

GaloisInc · May 28, 2021 · 7a44323 · 7a44323
1 parent d5dd792
commit 7a44323
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/BESSPIN-Environment b/BESSPIN-Environment
diff --git a/BESSPIN-LFS b/BESSPIN-LFS
diff --git a/BESSPIN-Tool-Suite b/BESSPIN-Tool-Suite
+1 −1		docker/fett-cheri/README.md
+1 −1		docker/gfe/Dockerfile
+1 −1		docker/tool-suite/Dockerfile
+2 −2		docker/ui/Dockerfile
+1 −1		nix/besspin/arch-extract-src.nix
+1 −1		nix/besspin/configurator.nix
+1 −1		nix/besspin/coremark-src.nix
+1 −1		nix/besspin/halcyon-src.nix
+1 −1		nix/besspin/mibench-src.nix
+1 −1		nix/besspin/riscv-timing-tests-src.nix
+2 −2		nix/bsc/src.nix
+5 −5		nix/default-user-config.nix
+1 −1		nix/gfe/gfe-src.nix
+1 −1		nix/haskell/clafer-0.4.5.nix
+1 −1		nix/haskell/clafer-0.5-besspin.nix
+1 −1		nix/haskell/clafer-0.5.0.nix
+1 −1		nix/misc/riscv-openocd.nix
+1 −1		nix/racket/bdd.nix
+1 −0		nix/shell.nix
+1 −0		MIT/appsBinaries/enclaves/debian/.gitignore
+1 −0		MIT/appsBinaries/enclaves/debian/enclaves/etc/pam.d/.gitignore
+0 −17		MIT/appsBinaries/enclaves/debian/enclaves/etc/pam.d/testing
+1 −0		MIT/appsBinaries/enclaves/debian/enclaves/lib/riscv64-linux-gnu/security/.gitignore
+0 −3		MIT/appsBinaries/enclaves/debian/enclaves/lib/riscv64-linux-gnu/security/pam_enclave.so
+3 −0		MIT/appsBinaries/enclaves/debian/enclaves/ssith/.gitignore
+0 −3		MIT/appsBinaries/enclaves/debian/enclaves/ssith/aes-enclave.bin
+0 −3		MIT/appsBinaries/enclaves/debian/enclaves/ssith/aes-main
+0 −3		MIT/appsBinaries/enclaves/debian/enclaves/ssith/pam-enclave.bin
+0 −7		MIT/appsBinaries/enclaves/debian/install-enclaves.sh
+1 −0		MIT/bitfiles/connectal/bluespec_p2/.gitignore
+0 −7		MIT/bitfiles/connectal/bluespec_p2/agfi_id.json
+1 −0		MIT/bitfiles/connectal/bluespec_p2/sim/.gitignore
+0 −3		MIT/bitfiles/connectal/bluespec_p2/sim/ssith_aws_fpga
+4 −0		MIT/osImages/connectal/.gitignore
+0 −3		MIT/osImages/connectal/aeskey.elf
+0 −3		MIT/osImages/connectal/debian.elf
+0 −3		MIT/osImages/connectal/debian.img
+0 −3		MIT/osImages/connectal/devicetree.dtb
+1 −0		SRI-Cambridge/bitfiles/connectal/bluespec_p2/.gitignore
+0 −4		SRI-Cambridge/bitfiles/connectal/bluespec_p2/agfi_id.json
+2 −0		SRI-Cambridge/bitfiles/connectal/bluespec_p2/ubuntu18.04_k5.3.0-1028-aws.bkup/kmods/.gitignore
+0 −3		SRI-Cambridge/bitfiles/connectal/bluespec_p2/ubuntu18.04_k5.3.0-1028-aws.bkup/kmods/pcieportal.ko
+0 −3		SRI-Cambridge/bitfiles/connectal/bluespec_p2/ubuntu18.04_k5.3.0-1028-aws.bkup/kmods/portalmem.ko
+1 −0		SRI-Cambridge/bitfiles/connectal/bluespec_p2/ubuntu18.04_k5.3.0-1028-aws.bkup/sim/.gitignore
+0 −3		SRI-Cambridge/bitfiles/connectal/bluespec_p2/ubuntu18.04_k5.3.0-1028-aws.bkup/sim/ssith_aws_fpga
+2 −0		SRI-Cambridge/bitfiles/vcu118/.gitignore
+0 −3		SRI-Cambridge/bitfiles/vcu118/soc_bluespec_p2.bit
+0 −3		SRI-Cambridge/bitfiles/vcu118/soc_bluespec_p2.ltx
+90 −0		private-tracker.json