Artturin e7cdc3e339 hello_world: Use nixpkgs target prefix ... nixpkgs `riscv64-embedded` is `riscv64-none-elf`		2025-02-22 21:45:18 +02:00
..
hello_world	hello_world: Use nixpkgs target prefix	2025-02-22 21:45:18 +02:00