We are still working on these pages. They are not finished yet.
How to switch on the board and run it
What if board doesn't boot, heatsink, input power, boot from USB, ...
How to start with TinyRex YOCTO
Setup host computer, Compile your first YOCTO uBoot & Kernel, Create SD card, ...
How to add your own custom baseboard to YOCTO TinyRex
You have designed your own baseboard, how add support for your new peripherals
How to access TinyRex peripherals (Examples)
A lot of examples to show you how to access and use TinyRex peripherals e.g. HDMI input, GPIO, ....