Getting Started

This project uses devbox to manage its development environment.

Install devbox:

curl -fsSL https://get.jetpack.io/devbox | bash

Start the devbox shell:

devbox shell

Run a script in the devbox environment:

devbox run <script>

Environment

UV_PYTHON="/home/leesum/workhome/chisel-fish/.devbox/nix/profile/default/bin/python"
VENV_DIR="/home/leesum/workhome/chisel-fish/.venv"

Shell Init Hook

The Shell Init Hook is a script that runs whenever the devbox environment is instantiated. It runs on devbox shell and on devbox run.

/home/leesum/workhome/chisel-fish/.devbox/virtenv/python/bin/venvShellHook.sh
echo 'Welcome to devbox!' > /dev/null
export LC_ALL=C
unset -v CC CXX LD AR AS NM STRIP OBJCOPY OBJDUMP SIZE

Packages

• path:my-flakes/sbt-overlay-flakes#sbt
• path:my-flakes/riscv-toolchain-flakes#riscv64-none-gcc
• path:my-flakes/riscv-toolchain-flakes#riscv64-none-gdb
• [email protected]
• xmake@latest
• verilator@latest
• gnumake@latest
• espresso@latest
• unzip@latest
• neovim@latest
• fish@latest
• SDL2@latest
• xz@latest
• SDL2.dev
• cmake@latest
• zlib@latest
• zlib.dev
• just@latest
• binutils@latest
• graalvm17-ce@latest
• gcc@latest
• [email protected]
• openocd@latest
• spike@latest
• direnv@latest