diff --git a/README.md b/README.md
index 36be4b0..0c1289c 100644
--- a/README.md
+++ b/README.md
@@ -26,20 +26,20 @@
 
 1.  Ensure you have [rustup](https://www.rustup.rs/) installed.
 
-1.  Clone the repository:
+2.  Clone the repository:
 
     ```shell
     git clone https://github.com/tock/libtock-rs
     cd libtock-rs
     ```
 
-1.  Install the dependencies:
+3.  Install the dependencies:
 
     ```shell
     make setup
     ```
 
-1.  Use `make` to compile and run an example app.
+4.  Use `make` to build examples
 
     ```shell
     make nrf52 # Builds all examples for the nrf52 platform
@@ -53,6 +53,10 @@
     make opentitan FEATURES=alloc # Builds all examples for the OpenTitan platform, with alloc feature enabled
     ```
 
+    ```bash
+    make flash-hail EXAMPLE=blink # Flash the example 'blink' program to the hail platform
+    ```
+
     For an unknown platform, you may have to create your own memory layout definition. Place the layout definition file at `boards/layout_<platform>.ld` and do not forget to enhance the `tockloader_flags` dispatching section in `tools/flash.sh`. You are welcome to create a PR, s.t. the number of supported platforms grows.
 
 ## Using libtock-rs
@@ -79,13 +83,13 @@
 
 to the preamble and store your example in the `examples-alloc` folder.
 
-To run on the code on your board you can use
+To build the examples for your board you can use
 
 ```shell
 make <platform> [FEATURES=alloc]
 ```
 
-The example can also be flashed to the board by running:
+A program can be flashed to your board after the build process by running:
 
 ```shell
 make flash-<platform> EXAMPLE=<example>