On 2021/12/17, the iCubGenova04 icub-head was updated, following the docs in https://github.com/icub-tech-iit/documentation/blob/0db3f48fe41a71dfcedf93d989cc32e71f390d1e/docs/icub_operating_systems/icubos/installation-from-image.md . This is a list of issue/small annoyances experienced:

• From https://icub-tech-iit.github.io/documentation/icub_operating_systems/download/#download-table, it is not clear which version of iCub needs iCubOS.
• Among the required material, a DisplayPort cable was not listed (it is kind of implied from the monitor)
• It is not clear how to access the BIOS