pios_board.c

Go to the documentation of this file.

#include "board_hw_defs.c"

#include <pios.h>

#include <pios_board_info.h>

void PIOS_Board_Init(void) {
        /* Delay system */
        PIOS_DELAY_Init();

        const struct pios_board_info * bdinfo = &pios_board_info_blob;

        const struct pios_annunc_cfg * led_cfg = PIOS_BOARD_HW_DEFS_GetLedCfg(bdinfo->board_rev);
        PIOS_Assert(led_cfg);
        PIOS_ANNUNC_Init(led_cfg);

        /* Inititialize all flash drivers */
        PIOS_Flash_Internal_Init(&pios_internal_flash_id, &flash_internal_cfg);

        /* Register the partition table */
        const struct pios_flash_partition * flash_partition_table;
        uint32_t num_partitions;
        flash_partition_table = PIOS_BOARD_HW_DEFS_GetPartitionTable(bdinfo->board_rev, &num_partitions);
        PIOS_FLASH_register_partition_table(flash_partition_table, num_partitions);
}