OPTION psf_version = 2.1;BEGIN OS uclinuxOPTION DRC = uclinux_drc;OPTION SUPPORTED_PERIPHERALS = (microblaze);OPTION DESC = "Generate uClinux BSP for linux kernel 2.4";OPTION copyfiles = all;PARAMETER name = TARGET_DIR, desc = "Destination directory for uClinux BSP (auto-config.in)", type = string;PARAMETER name = stdout, desc = "stdout peripheral for bootloader", type = peripheral_instance, requires_interface=stdout, default = none;PARAMETER name = stdin, desc = "stdin peripheral for bootloader", type = peripheral_instance, requires_interface=stdin, default = none;PARAMETER name = main_memory, desc ="Name of Main Memory used with uClinux", type = peripheral_instance, range=(opb_ddr,opb_emc,plb_ddr,plb_emc,opb_sdram,plb_sdram,mch_opb_sdram,mch_opb_ddr), default = none;#PARAMETER name = main_memory, desc ="Name of Main Memory used with uClinux", type = peripheral_instance, default = none;PARAMETER name = main_memory_bank, desc="Bank Nr. within memory controller of main memory", type = integer, default = -1;PARAMETER name = main_memory_offset, desc="Manual override of memory region start offset", type = integer, default = 0;PARAMETER name = main_memory_size, desc="Manual override of memory region size", type = integer, default = 0;PARAMETER name = flash_memory, desc ="Name of Flash Memory Controller used with uClinux", type = peripheral_instance, range=(opb_emc,plb_emc,none), default = none;PARAMETER name = flash_memory_bank, desc="Bank Nr. within memory controller of flash memory", type = integer, default = -1;PARAMETER name = flash_memory_offset, desc="Manual override of flash memory region start offset", type = integer, default = 0;PARAMETER name = flash_memory_size, desc="Manual override of memory region size", type = integer, default = 0;PARAMETER name = lmb_memory, desc = "Name of LMB Memory used with uClinux", type = peripheral_instance, range=(lmb_bram_if_cntlr,none), default = none;PARAMETER name = periph_type_overrides, desc = "List of peripheral type overrides", type = string, default = "";END OS