aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--devShells/c.nix6
-rw-r--r--devShells/nuttx.nix2
-rw-r--r--nixos/machine/gaspode.nix25
-rw-r--r--nixos/modules/develop.nix7
4 files changed, 30 insertions, 10 deletions
diff --git a/devShells/c.nix b/devShells/c.nix
index 76e653c..5d4278e 100644
--- a/devShells/c.nix
+++ b/devShells/c.nix
@@ -5,15 +5,15 @@ let
in pkgs.mkShell {
packages = (with pkgs; [
- clang-tools
+ clang-tools ctags
gcc gdb pkg-config
meson ninja bear
cmake
- cppcheck flawfinder
-
+ valgrind
lcov massif-visualizer
+ cppcheck flawfinder
check
curl
diff --git a/devShells/nuttx.nix b/devShells/nuttx.nix
index 612465f..34c1361 100644
--- a/devShells/nuttx.nix
+++ b/devShells/nuttx.nix
@@ -19,6 +19,8 @@ in pkgs.mkShell {
gnumake
kconfig-frontends genromfs xxd
openocd
+
+ meson ninja bear
]) ++ (with pkgs-cross.buildPackages; [
gcc gdb
]);
diff --git a/nixos/machine/gaspode.nix b/nixos/machine/gaspode.nix
new file mode 100644
index 0000000..82762f1
--- /dev/null
+++ b/nixos/machine/gaspode.nix
@@ -0,0 +1,25 @@
+{ config, lib, pkgs, ... }:
+
+with lib;
+
+{
+
+ config = {
+
+ fileSystems = {
+ "/" = {
+ device = "/dev/mmcblk0p2";
+ options = ["compress=lzo" "subvol=@nix"];
+ };
+ "/home" = {
+ device = "/dev/mmcblk0p2";
+ options = ["compress=lzo" "subvol=@home"];
+ };
+ "/boot" = {
+ device = "/dev/mmcblk0p1";
+ };
+ };
+
+ };
+
+}
diff --git a/nixos/modules/develop.nix b/nixos/modules/develop.nix
index 844081b..fab5733 100644
--- a/nixos/modules/develop.nix
+++ b/nixos/modules/develop.nix
@@ -29,13 +29,6 @@ in {
nix-prefetch-git nix-prefetch-github nix-prefetch-scripts
rnix-lsp
- # C
- clang-tools gcc bear ctags
- cppcheck flawfinder
- check valgrind
- gdb
- lcov massif-visualizer
-
# Shell
dash # Posix shell
bats