diff options
author | Carl Dong <contact@carldong.me> | 2021-07-14 19:08:12 -0400 |
---|---|---|
committer | Carl Dong <contact@carldong.me> | 2021-07-15 21:47:57 -0400 |
commit | 90fd13b954a364963f58e6cd12962c6f1986f79b (patch) | |
tree | d0843fa28998aabd55ddc1ac2883c9a681cf816b /.github | |
parent | 531c2b7c04898f5a2097f44e8c12bfb2f53aaf9b (diff) |
guix: Pin kernel header version
- Use 4.19 for riscv64 (earliest LTS release w/ riscv64 support)
- Use 4.9 for all others (second-oldest LTS release, released in
combination with glibc glibc 2.24 in Debian stretch)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions