message: small update to instructions in README
diff: @@ -26,20 +26,20 @@ This project is nascent and still under heavy development, but first steps:
  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 @@ This project is nascent and still under heavy development, but first steps:
  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 @@ extern crate alloc;
  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>
  