add objdump just recipe

flake.nix

@@ -477,8 +477,8 @@ rec {
           # Dynamic libraries from buildinputs:
           # LD_LIBRARY_PATH = pkgs.lib.makeLibraryPath buildInputs;
 
-          JUST_WORKING_DIRECTORY = "./";
-          JUST_JUSTFILE = "./scripts/nixos.just";
+          JUST_WORKING_DIRECTORY = "/home/christoph/Notes/TU/MastersThesis/FailNix";
+          JUST_JUSTFILE = "/home/christoph/Notes/TU/MastersThesis/FailNix/scripts/nixos.just";
 
           # Those are read by the justfile
           FAIL_SHARE = "${fail-bin}/share";

scripts/nixos.just

@@ -106,6 +106,21 @@ gdb module:
 #         -e bin.relocs.apply=true \
 #         {{ BUILD_DIR }}-{{ module }}/system.elf
 
+[doc("Disassemble with objdump at address")]
+[group("debug")]
+dump dir addr="0x100000" saddr="0x100100":
+    objdump {{ dir }}/system.elf \
+        --disassemble-all \
+        --disassembler-options=intel \
+        --disassembler-color=terminal \
+        --source \
+        --demangle \
+        --section=.text \
+        --start-address={{ addr }} \
+        --stop-address={{ saddr }} \
+        --prefix={{ dir }} \
+        --prefix-strip=7
+
 [doc("Launch radare2 at address (interactive)")]
 [group("debug")]
 r2i module addr="dbg.os_main":