Чтобы запустить пример на Raspberry Pi 4 B, выполните следующие действия:
# В следующей команде [X] – последний буквенный символ в имени блочного
# устройства для раздела на загрузочной SD-карте.
# В следующих командах путь ~/mnt/fat32 используется для примера. Вы
# можете использовать другой путь.
$ sudo mount /dev/sd[X]1 ~/mnt/fat32/
$ sudo cp build/einit/kos-image ~/mnt/fat32/kos-image
$ sync
$ sudo umount ~/mnt/fat32
О том, что пример запустился, свидетельствует вывод, отображаемый на компьютере.