[kitten] push by kevin.pe...@gmail.com - Fix build if CONFIG_NETWORK is not defined. on 2013-06-20 23:03 GMT

[kit...@googlecode.com]

Revision: 21238d014787
Branch: default
Author: Kevin Pedretti <ktp...@sandia.gov>
Date: Sun Jun 9 17:53:02 2013
Log: Fix build if CONFIG_NETWORK is not defined.
http://code.google.com/p/kitten/source/detail?r=21238d014787

Modified:
/kernel/Makefile
/kernel/main.c

=======================================
--- /kernel/Makefile Mon Jun 10 15:05:51 2013
+++ /kernel/Makefile Sun Jun 9 17:53:02 2013
@@ -21,7 +21,6 @@
waitq.o \
timer.o \
init_task.o \
- netdev.o \
kfs.o \
interrupt.o \
semaphore.o \
@@ -38,6 +37,7 @@
obj-$(CONFIG_KGDB) += kgdb.o
obj-$(CONFIG_KGDB_SERIAL_CONSOLE) += kgdboc.o
obj-$(CONFIG_DEBUG_HW_NOISE) += noise.o
+obj-$(CONFIG_NETWORK) += netdev.o
obj-y += mm/
obj-y += lwk_syscalls/
obj-y += linux_syscalls/
=======================================
--- /kernel/main.c Thu Jun 6 21:58:42 2013
+++ /kernel/main.c Sun Jun 9 17:53:02 2013
@@ -167,10 +167,12 @@
*/
local_irq_enable();

+#ifdef CONFIG_NETWORK
/*
* Bring up any network devices.
*/
netdev_init();
+#endif

mcheck_init_late();

@@ -179,10 +181,10 @@
*/
driver_init_by_name( "module", "*" );

+#ifdef CONFIG_KGDB
/*
* Stop eary (before "late" devices) in KGDB if requested
*/
-#ifdef CONFIG_KGDB
kgdb_initial_breakpoint();
#endif