riscv: user: Force LINUX_HEADERS on hwprobe

Signed-off-by: Miquel Sabaté Solà <mikisabate@gmail.com>

1 files changed, 3 insertions, 6 deletions

diff --git a/README.md b/README.md
index 00e8851..1804b5e 100644
--- a/README.md
+++ b/README.md
@@ -1,16 +1,13 @@
 A bunch of code that messes with low level stuff. That is:
 
-- `arch`:
+- `arch/riscv/`:
   - `machine`: prints "hello, world" on the serial port while running in M mode
     on QEMU. Check the [README file](./arch/riscv/machine/README.md) for more
     info.
   - `supervisor/hsm`: using the HSM extension from SBI to gather info from
     harts.
-  - `user/`:
-    - `basics`: bunch of code checking on basic programming concepts from the
-      RISC-V ISA.
-    - `hwprobe`: using the `hwprobe` system call from the Linux kernel to check
-      on the features from the current machine.
+  - `user/`: user space programs that either delve into RISC-V assembly or that
+    interface the Linux Kernel on the RISC-V architecture.
 - `kernel/dtm`: simple kernel module showcasing the API from the `of` driver.
 
 A lot of this is not taken solely from my brain, and I will give credit whenever