with import <nixpkgs> {};
pkgsCross.riscv32-embedded.mkShell {}