| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added kernel config options for debian stretch | Bader AlBassam | 2018-10-18 | 1 | -0/+6 |
| * | docs: Update package names for modern Ubuntu | Kees Cook | 2018-10-03 | 1 | -2/+2 |
| * | docs: Use 'stretch' in ssh command | Tobin C. Harding | 2018-09-11 | 1 | -1/+1 |
| * | tools: update to Debian stretch | Kees Cook | 2018-09-05 | 1 | -13/+13 |
| * | Modify name of private key file as id_rsa does not exist in the context | Dongliang Mu | 2018-09-05 | 1 | -2/+2 |
| * | docs: remove mentions of vmlinux | Dmitry Vyukov | 2018-06-28 | 1 | -1/+1 |
| * | docs: move linux kernel specific docs to docs/linux/ dir | Andrey Konovalov | 2017-10-27 | 1 | -0/+242 |
