/*
 * boot_info.h - informations passed by the bootloader to the kernel in each cluster.
 *
 * Author  Alain Greiner (june 2016)
 *
 * Copyright (c) UPMC Sorbonne Universites
 *
 * This file is part of ALMOS-MKH
 *
 * ALMOS-kernel is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by
 * the Free Software Foundation; version 2.0 of the License.
 *
 * ALMOS-kernel is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with ALMOS-kernel; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
 */

#ifndef _BOOT_INFO_H_
#define _BOOT_INFO_H_

#include <hal_types.h>
#include <almos_config.h>

/*********************************************************************************************
 * Boot-Info binary file signature
 ********************************************************************************************/

#define BOOT_INFO_SIGNATURE    0xBABEF00D

/*********************************************************************************************
 * This structure defines the mapping between the hard-wired core identifier,
 * and the composite index (cluster_identifier , local index).
 ********************************************************************************************/

typedef struct boot_core_s
{
    gid_t    gid;                     /*! hardware identifier                               */
    lid_t    lid;                     /*! local index in cluster                            */
    cxy_t    cxy;                     /*! cluster identifier                                */
}
boot_core_t;

/*********************************************************************************************
 * This structure defines the hardware connexion from one source device (identified by
 * the tuple (dev_type/channel/is_rx), to a PIC or XCU component (input IRQ index).
 ********************************************************************************************/

typedef struct boot_irq_s 
{
    uint32_t    dev_type;             /*! source device functionnal type                    */
    uint8_t     channel;              /*! source device channel index                       */
    uint8_t     is_rx;                /*! source device direction                           */
    uint8_t     valid;                /*! Boolean :input IRQ connected                      */
    uint8_t     reserved;             /*! padding                                           */
} 
boot_irq_t; 

/*********************************************************************************************
 * This structure defines all informations associated to a device in a given cluster.
 * There is one device descriptor per peripheral channel.
 ********************************************************************************************/

typedef struct boot_device_s
{
    uint32_t    type;                 /*! peripheral type (func | impl)                     */
    xptr_t      base;                 /*! segment global base address                       */
    uint64_t    size;                 /*! channel size (bytes)                              */
    uint32_t    channels;             /*! number of channels                                */
    uint32_t    param0;               /*! semantic depends on peripherat type               */
    uint32_t    param1;               /*! semantic depends on peripherat type               */
    uint32_t    param2;               /*! semantic depends on peripherat type               */
    uint32_t    param3;               /*! semantic depends on peripherat type               */
    uint32_t    irqs;                 /*! number of input IRQs                              */
    boot_irq_t  irq[32];              /*! array of input IRQS (PIC and ICU only)            */
}
boot_device_t;

/*********************************************************************************************
 * This structure defines the interface between the boot-loader and the kernel.
 * In each cluster, the boot core build a local boot_info_t structure containing
 * both global (trans-clusters) informations, and cluster specific informations.
 ********************************************************************************************/

typedef struct boot_info_s
{
    uint32_t      signature;         /*! boot info signature                                */

    // global platform parameters

	uint32_t      paddr_width;        /*! number of bits in physical address                */
    uint32_t      x_width;            /*! number of bits to code X coordinate               */
    uint32_t      y_width;            /*! number of bits to code Y coordinate               */
	uint32_t      x_size;             /*! number of cluster in a row                        */
	uint32_t      y_size;             /*! number of cluster in a column                     */
	uint32_t      io_cxy;             /*! IO cluster identifier                             */

    // specific cluster parameters

	uint32_t      cxy;                /*! current cluster identifier                        */
	uint32_t      cores_nr;           /*! number of cores in current cluster                */
    boot_core_t   core[CONFIG_MAX_CORES_PER_CLUSTER];   /* array of core descriptors        */  
	uint32_t      devices_nr;         /*! number of peripherals in current cluster          */
    boot_device_t dev[CONFIG_MAX_DEVICES_PER_CLUSTER];  /* array of device descriptors      */
    uint32_t      pages_nr;           /*! total number of 4 Kbytes pages in cluster         */
    uint32_t      pages_offset;       /*! number of pages already allocated for kernel      */

    // kernel segments

    intptr_t      kernel_code_start;  /*! kernel code base address                          */
    intptr_t      kernel_code_end;    /*! kernel code last address (excluded)               */
    intptr_t      kernel_data_start;  /*! kernel data base address                          */
    intptr_t      kernel_data_end;    /*! kernel data last address (excluded)               */
}
boot_info_t;

#endif	/* _BOOT_INFO_H_ */