diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-06-06 16:25:15 -0700 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-06-06 17:26:36 -0700 |
| commit | af0925e363a7ec40d97a3c26e83deb0223840950 (patch) | |
| tree | 8adb0a59187141c790c17c0ef881a76f7a1d80b5 /README.md | |
| parent | 6019eb69020cb87216ec1889eb82be7443fa1fb3 (diff) | |
| download | sail-riscv-af0925e363a7ec40d97a3c26e83deb0223840950.zip sail-riscv-af0925e363a7ec40d97a3c26e83deb0223840950.tar.gz sail-riscv-af0925e363a7ec40d97a3c26e83deb0223840950.tar.bz2 | |
Doc updates
. add a dependency diagram to the reading guide
. simplify the OS boot instructions using the new Linux image
. put funding ack in top-level readme
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -143,3 +143,15 @@ Booting OS images For booting operating system images, see the information under the [os-boot/](os-boot/) subdirectory. + +## Funding + +This software was developed by SRI International and the University of +Cambridge Computer Laboratory (Department of Computer Science and +Technology) under DARPA/AFRL contract FA8650-18-C-7809 ("CIFV"), and +under DARPA contract HR0011-18-C-0016 ("ECATS") as part of the DARPA +SSITH research programme. + +This software was developed within the Rigorous Engineering of +Mainstream Systems (REMS) project, partly funded by EPSRC grant +EP/K008528/1, at the Universities of Cambridge and Edinburgh. |