These are the main commands for managing apps on a board. Load binaries onto hardware platforms that are running a compatible bootloader. This is used by the TockOS Make system when kernel binaries ...