Skip to content

Instantly share code, notes, and snippets.

@jarkkojs

jarkkojs/keystone-toolchain.sh

Created May 9, 2023 04:51
Show Gist options
  • Save jarkkojs/5c4437914c597baf78cc85498f6ec875 to your computer and use it in GitHub Desktop.
Save jarkkojs/5c4437914c597baf78cc85498f6ec875 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
keystone-toolchain.sh
#!/usr/bin/env bash
URL=https://keystone-enclave.eecs.berkeley.edu/files
echo $URL/riscv-{musl-,}toolchain-lp64d-rv64gc-2021.01.bionic.7z | \
xargs -n1 | \
xargs curl -sSL | \
tar zxv -i
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment