kconfig.h

Go to the documentation of this file.

/*
 * Compile Time Kernel Configuration Options
 */
 
#ifndef __KCONFIG_H__
#define __KCONFIG_H__
 
#define MAX_CPUS        16
 
#endif /* __KCONFIG_H__ */