Next Generation WASM Microkernel Operating System

Add profiling and testing tools to flake.nix (#642)

Added profiling tools 'samply', 'perf', 'valgrind', and 'cargo-valgrind' for testing and performance analysis.

authored by

Jonas Kruckenberg and committed by
GitHub
e7a979b8 56e833ab

+10
+10
flake.nix
··· 42 42 43 43 # for testing the kernel 44 44 qemu 45 + 46 + # To profile the code or benchmarks 47 + samply 48 + ] ++ lib.optionals pkgs.stdenv.isLinux [ 49 + # To profile the code or benchmarks 50 + perf 51 + 52 + # For valgrind 53 + valgrind 54 + cargo-valgrind 45 55 ]; 46 56 47 57 LIBCLANG_PATH = "${llvmPackages.libclang.lib}/lib";