Update README

README.md

@@ -2,45 +2,49 @@
 
 This repository contains NixOS configurations for different RISC-V machines.
 
-## QEMU
+## Lagarto Ox on FPGA Alveo U55C
 
-To boot the system in QEMU, first enter the development shell:
+To build the system and boot it on an FPGA of the MEEP cluster, you can run the
+following:
 
 ```
-$ nix develop
+$ nix develop -L '.#lagarto-ox' --command fpga/run-remotely.sh fpgalogin1:ci
 ```
 
-Then run the boot script:
+To do it manually, you can first enter the development shell:
 
 ```
-$ ./boot.sh
+$ nix develop -L '.#lagarto-ox'
 ```
 
-To prevent the GC from erasing the system:
-
-```
-$ nix build .#devShells.x86_64-linux.default --out-link result-env
-```
-
-## Lagarto Hun on FPGA Alveo U55C
-
-First build required dependencies:
-
-```
-$ nix develop '.#lagarto-hun'
-```
-
-Then upload to destination:
+Then upload the files to the target machine (fpgalogin1 by default):
 
 ```
 $ fpga/upload.sh
 ```
 
-And then boot the system there:
+Then connect to the fpgalogin1 machine, allocate a FPGA node and load the
+environment there:
 
 ```
-cucu$ ./boot.sh
-...
+$ cd nixos
+$ . env.sh
 ```
 
-In the U-Boot prompt, paste the commands of the `uboot.env` file.
+Flash the images to the FPGA:
+
+```
+$ ./fpgactl -w bitstream.bit -b opensbi.bin -k kernel.bin -i initrd.bin -r rootfs.img
+```
+
+And monitor the serial line:
+
+```
+$ picocom -q -b 115200 $FPGACTL_UART
+```
+
+It should boot without any user interaction.
+
+## Lagarto Hun
+
+WIP