X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Flwk%2Fcpu.h;fp=kitten%2Finclude%2Flwk%2Fcpu.h;h=4c3fff62ee0b7388100c48acc129e13d5da7298b;hb=66a1a4c7a9edcd7d8bc207aca093d694a6e6b5b2;hp=0000000000000000000000000000000000000000;hpb=f7cf9c19ecb0a589dd45ae0d2c91814bd3c2acc2;p=palacios.git

diff --git a/kitten/include/lwk/cpu.h b/kitten/include/lwk/cpu.h
new file mode 100644
index 0000000..4c3fff6
--- /dev/null
+++ b/kitten/include/lwk/cpu.h
@@ -0,0 +1,7 @@
+#ifndef _LWK_CPU_H
+#define _LWK_CPU_H
+
+/** Maximum number of CPUs supported. */
+#define NR_CPUS		CONFIG_NR_CPUS
+
+#endif