From 1d9e4fdf850444d5ba4e52b3197ac0a4ca92aeac Mon Sep 17 00:00:00 2001
From: Wanja Zaeske <wanja.zaeske@dlr.de>
Date: Fri, 15 Sep 2023 16:11:43 +0200
Subject: [PATCH] append Nix section to README

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/README.md b/README.md
index e8a25af..1c95f52 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,8 @@
 # sel4-rs
+
+
+# Building with Nix
+
+```console
+nix build '.?submodules=1#seL4-arm' --print-build-logs
+```