Ignore:
Timestamp:
May 3, 2017, 1:21:35 PM (7 years ago)
Author:
alain
Message:

Few changes in the boot_info structure.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/tools/arch_info/boot_info.h

    r6 r13  
    2626
    2727#include <hal_types.h>
    28 #include <almos_config.h>
     28#include <kernel_config.h>
    2929
    3030/*********************************************************************************************
    … …  
    7070{
    7171    uint64_t    base;                 /*! segment physical base address                     */
    72     uint64_t    size;                 /*! channel size (bytes)                              */
    7372    uint32_t    type;                 /*! peripheral type (func | impl)                     */
    7473    uint32_t    channels;             /*! number of channels                                */
    … …  
    111110        uint32_t      cores_nr;                      /*! number of local cores in               */
    112111    boot_core_t   core[CONFIG_MAX_LOCAL_CORES];  /*! array of core descriptors              */ 
    113         uint32_t      int_dev_nr;                    /*! number of local peripherals            */
    114     boot_device_t int_dev[CONFIG_MAX_INT_DEV];   /*! array of internal peripherals          */
     112        boot_device_t dev_icu;                       /*! embedded ICU peripheral                */
     113        boot_device_t dev_mmc;                       /*! embedded MMC peripheral                */
     114        boot_device_t dev_dma;                       /*! embedded DMA peripheral                */
     115
    115116    uint32_t      pages_nr;                      /*! number of 4 Kbytes pages               */
    116117    uint32_t      pages_offset;                  /*! number of pages allocated for kernel   */
Note: See TracChangeset for help on using the changeset viewer.