
/*******************************************************************
*
* CAUTION: This file is automatically generated by libgen.
* Version: Xilinx EDK 3.2.2 EDK_Cm.22
* DO NOT EDIT.
*
* Copyright (c) 2003 Xilinx, Inc.  All rights reserved. 
* 
* Description: XilKernel Configuration parameters
*
*******************************************************************/

#ifndef _CONFIG_INIT_H
#define _CONFIG_INIT_H



/*******************************************************************
*
* CAUTION: This file is automatically generated by libgen.
* Version: Xilinx EDK 3.2.2 EDK_Cm.22
* DO NOT EDIT.
*
* Copyright (c) 2003 Xilinx, Inc.  All rights reserved. 
* 
* Description: LibXilKernel Initialization structures
*
*******************************************************************/

#include <sys/init.h>
#include <os_config.h>


struct _process_init start_p[3] = {
	{0x00f00000,28},
	{0x00f10000,28},
	{0x00f20000,29}
};
struct _msgq_init msgq_config[1] = {
	{4,1}
};
struct _shm_init shm_config[1] = {
	{100}
};
struct _malloc_init malloc_config[2] = {
	{4,10},
	{8,10}
};
#endif
