From 614ea404433a8fd743171a020436b0a586ed4e8d Mon Sep 17 00:00:00 2001
From: David Izquierdo <david@izquierdofernandez.com>
Date: Thu, 25 Oct 2018 10:20:34 +0200
Subject: [PATCH] Docs: init section Hardened in chapter Profiles

---
 nixos/doc/manual/configuration/profiles.xml   |  1 +
 .../configuration/profiles/hardened.xml       | 22 +++++++++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 nixos/doc/manual/configuration/profiles/hardened.xml

diff --git a/nixos/doc/manual/configuration/profiles.xml b/nixos/doc/manual/configuration/profiles.xml
index 2f306f584de..db73445ef02 100644
--- a/nixos/doc/manual/configuration/profiles.xml
+++ b/nixos/doc/manual/configuration/profiles.xml
@@ -31,4 +31,5 @@
  <xi:include href="profiles/demo.xml" />
  <xi:include href="profiles/docker-container.xml" />
  <xi:include href="profiles/graphical.xml" />
+ <xi:include href="profiles/hardened.xml" />
 </chapter>
diff --git a/nixos/doc/manual/configuration/profiles/hardened.xml b/nixos/doc/manual/configuration/profiles/hardened.xml
new file mode 100644
index 00000000000..3f4b9242461
--- /dev/null
+++ b/nixos/doc/manual/configuration/profiles/hardened.xml
@@ -0,0 +1,22 @@
+
+<section xmlns="http://docbook.org/ns/docbook"
+         xmlns:xlink="http://www.w3.org/1999/xlink"
+         xmlns:xi="http://www.w3.org/2001/XInclude"
+         version="5.0"
+         xml:id="sec-profile-hardened">
+ <title>Hardened</title>
+ <para>
+  A profile with most (vanilla) hardening options enabled by default,
+  potentially at the cost of features and performance.
+ </para>
+ <para>
+  This includes a hardened kernel, and limiting the system information
+  available to procesess via de <filename>/sys</filename> and
+  <filename>/proc</filename> filesystems. It also disables the User Namespaces
+  feature of the kernel, which stops Nix from being able to build anything
+  (this particular setting can be overriden via
+  <xref linkend="opt-security.allowUserNamespaces"/>). See the <literal
+   xlink:href="https://github.com/nixos/nixpkgs/tree/master/nixos/modules/profiles/hardened.nix">
+   profile source</literal> for further detail on which settings are altered.
+ </para>
+</section>