plb_npi_vga_controller_v2_1_0.mdd

Genode FX is a composition of hardware and software components that enable the creation of fully fl

##############################################################################
## Filename:          /media/hdc5/edk_user_repository/MyProcessorIPLib/drivers/plb_npi_vga_controller_v1_01_a/data/plb_npi_vga_controller_v2_1_0.mdd
## Description:       Microprocessor Driver Definition
## Date:              Thu Dec 27 16:46:25 2007 (by Create and Import Peripheral Wizard)
##############################################################################

OPTION psf_version = 2.1.0;

BEGIN DRIVER plb_npi_vga_controller

  OPTION supported_peripherals = (plb_npi_vga_controller);
  OPTION depends = (common_v1_00_a);
  OPTION copyfiles = all;

  BEGIN ARRAY interrupt_handler
    PROPERTY desc = "Interrupt Handler Information";
    PROPERTY size = 1, permit = none;
    PARAM name = int_handler, default = PLB_NPI_VGA_CONTROLLER_Intr_DefaultHandler, desc = "Name of Interrupt Handler", type = string;
    PARAM name = int_port, default = IP2INTC_Irpt, desc = "Interrupt pin associated with the interrupt handler", permit = none;

  END ARRAY

END DRIVER