Меню/Настройка/Система/Жесткий диск- здесь форматируйте.

К сожалению нет в FormulerF3 встроенного жёсткого диска и у меня нет и внешнего, чтобы примонтировать его, да и меню в openpli4 отличается от Вашего и нет там раздела Жёсткий диск.
А интересует возможность отформатировать именно SD-Card тюнером. Я могу отформатировать на компе micro-sd и вставить её в тюнер через переходник, но не будет ли потерь со скоростью? И swap и epg.dat, которые я хочу там разместить, это ведь файлы активно используемые системой, кроме того пиконы тоже хочу туда положить. Sd-карты на 4gb все идут со скоростью 4-го класса, не брать же ради этих целей 16gb/32gb 10 класса.