diff --git a/doc/manual/getting_started.rst b/doc/manual/getting_started.rst
index eb3166f6c..da2952fd3 100644
--- a/doc/manual/getting_started.rst
+++ b/doc/manual/getting_started.rst
@@ -1,6 +1,8 @@
 Getting started
 ===============
 
+.. _connecting-to-the-core-device:
+
 Connecting to the core device
 -----------------------------
 
diff --git a/doc/manual/installing.rst b/doc/manual/installing.rst
index 92e54b55e..647d31232 100644
--- a/doc/manual/installing.rst
+++ b/doc/manual/installing.rst
@@ -168,6 +168,26 @@ The communication parameters are 115200 8-N-1.
 .. note:: The reset button of the KC705 board is the "CPU_RST" labeled button.
 .. warning:: Both those instructions will result in the flash storage being wiped out. However you can use the test mode to change the IP/MAC without erasing everything if you skip the "fserase" command.
 
+* (optional) Flash the ``idle`` kernel
+
+The ``idle`` kernel is the kernel (some piece of code running on the core device) which the core device runs whenever it is not connected to a PC via ethernet.
+This kernel is therefore stored in the :ref:`core device configuration flash storage <core-device-flash-storage>`.
+To flash the ``idle`` kernel:
+
+        * Compile the ``idle`` experiment:
+                The ``idle`` experiment's ``run()`` method must be a kernel: it must be decorated with the ``@kernel`` decorator (see :ref:`next topic <connecting-to-the-core-device>` for more information about kernels).
+
+                Moreover, since the core device is not connected to the PC: RPC are forbidden in this ``idle`` experiment.
+                ::
+
+                $ artiq_compile idle.py
+
+        * Write it into the core device configuration flash storage: ::
+
+                $ artiq_coreconfig -f idle_kernel idle.elf
+
+.. note:: You can find more information about how to use the ``artiq_coreconfig`` tool on the :ref:`Utilities <core-device-configuration-tool>` page.
+
 Installing the host-side software
 ---------------------------------
 
diff --git a/doc/manual/utilities.rst b/doc/manual/utilities.rst
index 740fa81b1..027d22470 100644
--- a/doc/manual/utilities.rst
+++ b/doc/manual/utilities.rst
@@ -117,12 +117,11 @@ To write the value ``test_value`` in the key ``my_key``::
     $ artiq_coreconfig -r my_key
     b'test_value'
 
-You can also write entire files in a record using the ``-f`` parameter::
+You can also write entire files in a record using the ``-f`` parameter. This is useful for instance to write the ``idle`` kernel in the flash storage::
 
-    $ echo "this_is_a_test" > my_filename
-    $ artiq_coreconfig -f my_key my_filename
-    $ artiq_coreconfig -r my_key
-    b'this_is_a_test\n'
+    $ artiq_coreconfig -f idle_kernel idle.elf
+    $ artiq_coreconfig -r idle_kernel | head -c9
+    b'\x7fELF
 
 You can write several records at once::