In the future we need to find out how to integrate the documentation for each board with the official seL4 documentation. Including how to setup U-Boot etc is too much for the Microkit manual most likely but I still believe that the manual should include instructions specific to Microkit should remain in the manual.
Fixes spelling mistakes and adds instructions for booting on ZCU102 hardware. Closes https://github.com/seL4/microkit/issues/30.
In the future we need to find out how to integrate the documentation for each board with the official seL4 documentation. Including how to setup U-Boot etc is too much for the Microkit manual most likely but I still believe that the manual should include instructions specific to Microkit should remain in the manual.