
/*******************************************************************
*
* 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 _OS_CONFIG_H
#define _OS_CONFIG_H


#define CONFIG_MUTEX true

#define CONFIG_PROCESS true

#define MAX_PROCS 10

#define MAX_READYQ 10

#define CONFIG_PROCESS_EXIT false

#define CONFIG_PROCESS_KILL false

#define CONFIG_PROCESS_SLEEP false

#define CONFIG_PROCESS_YIELD false

#define N_INIT_PROCESS 3

#define CONFIG_SCHED true

#define SCHED_TYPE 2

#define N_PRIO 32

#define CONFIG_THREAD_SUPPORT true

#define MAX_THREADS 5

#define THREAD_STACK_SIZE 600

#define CONFIG_SEMA true

#define MAX_SEMA 20

#define MAX_SEMA_WAITQ 10

#define CONFIG_MSGQ true

#define MAX_MSGSIZE 20

#define MAX_MSG 20

#define N_MSGQ 1

#define MSGQ_MSIZE 4

#define CONFIG_SHM true

#define N_SHM 1

#define SHM_MSIZE 100

#define CONFIG_MALLOC true

#define N_MALLOC_BLOCKS 2

#define TOT_MALLOC_BLOCKS 20

#define MALLOC_MSIZE 120

#endif
