README: fix formatting
This commit is contained in:
parent
8b35c4260a
commit
17a3824ac5
@ -7,15 +7,13 @@ Instructions
|
|||||||
|
|
||||||
![Made for NixOS](https://nixos.org/logo/nixos-lores.png)
|
![Made for NixOS](https://nixos.org/logo/nixos-lores.png)
|
||||||
|
|
||||||
Build the firmware with `default.nix`
|
Build the firmware with `default.nix`:
|
||||||
+++++++++++++++++++++++++++++++++++++
|
|
||||||
|
|
||||||
* `nix-build`
|
* `nix-build`
|
||||||
* This uses **cargo-vendor** to bundle dependencies, so that unstable versions from git can be used.
|
* This uses **cargo-vendor** to bundle dependencies, so that unstable versions from git can be used.
|
||||||
* Run `result/bin/flash-tnetplug` to flash a devboard with OpenOCD and quit.
|
* Run `result/bin/flash-tnetplug` to flash a devboard with OpenOCD and quit.
|
||||||
|
|
||||||
Development environment with `shell.nix`
|
Development environment with `shell.nix`:
|
||||||
++++++++++++++++++++++++++++++++++++++++
|
|
||||||
|
|
||||||
* `nix-shell`
|
* `nix-shell`
|
||||||
* Spawning `openocd`, the devboard should be connected already.
|
* Spawning `openocd`, the devboard should be connected already.
|
||||||
|
Loading…
Reference in New Issue
Block a user