From 471207c64a0fc68dd16d759b7798ef9f686b2131 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 4 Jul 2024 12:45:41 +0200
Subject: [PATCH] Allow access to all memory from userspace

> If this option is disabled, you allow userspace (root) access to all
> of memory, including kernel and userspace memory

Currently is failing:

    ~ # cat /proc/iomem
    40001000-400010ff : serial
    60000000-7fffffff : Reserved
    80000000-ffefffff : System RAM
      80201000-81fa0b87 : Kernel image
        80201000-80cb177f : Kernel code
        81400000-819fffff : Kernel rodata
        81c00000-81f18747 : Kernel data
        81f19000-81fa0b87 : Kernel bss
    100000000-1bfffffff : namespace0.0

    ~ # devmem 0x40001000
    devmem: mmap: Operation not permitted
---
 lagarto-ox.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index ed82f13..0e3db6a 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -65,6 +65,7 @@
           WQ_CPU_INTENSIVE_REPORT y
           TRACING y
           BOOTTIME_TRACING y
+          STRICT_DEVMEM n
         ''
         # Disable SMP so we don't have IPI
         + ''