From 9b11287795c9c283457608aba0f4def09ab25721 Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Tue, 27 Jun 2017 21:32:30 +0100
Subject: [PATCH] cant edit memory

---
 kernel_module/user/devmem.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel_module/user/devmem.c b/kernel_module/user/devmem.c
index 483f26a..3e65e32 100644
--- a/kernel_module/user/devmem.c
+++ b/kernel_module/user/devmem.c
@@ -36,6 +36,7 @@ int main(int argc, char *argv[]) {
     }
     for (size_t i = 0; i < len; ++i) {
         printf("%02x ", (unsigned int)mem[page_offset + i]);
+        /* TODO can't edit memory? */
 		mem[page_offset + i] = i % 256;
 	}
 	puts("");