/*
 * Compile Time Kernel Configuration Options
 */

#ifndef __KCONFIG_H__
#define __KCONFIG_H__

#define MAX_CPUS        16

#endif /* __KCONFIG_H__ */