diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 1bf69dd70b..cb2fcdda80 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -55,7 +55,8 @@ is available that be used to build a NuttX-compatible arm-elf toolchain.</blockq
 </p>
 <p>
   I have a stripped down OS test for the 8051 target that requires only
-  24Kb.
+  18Kb.  A substantial effort was required to get to this size
+  (see <a href="codesize-070301.xls">spreadsheet</a> for details).
 </p>
 
 <h1>Licensing</h1>
diff --git a/Documentation/codesize-070301.xls b/Documentation/codesize-070301.xls
new file mode 100644
index 0000000000..22fed5abf4
Binary files /dev/null and b/Documentation/codesize-070301.xls differ
diff --git a/sched/Makefile b/sched/Makefile
index 43868d4fba..af11ede395 100644
--- a/sched/Makefile
+++ b/sched/Makefile
@@ -55,8 +55,9 @@ SCHED_SRCS	= sched_setparam.c sched_getparam.c \
 		  sched_getprioritymax.c sched_getprioritymin.c \
 		  sched_lock.c sched_unlock.c sched_lockcount.c
 WDOG_SRCS	= wd_initialize.c wd_create.c wd_start.c wd_cancel.c wd_delete.c
-TIME_SRCS	= sched_processtimer.c clock_initialize.c mktime.c gmtime_r.c \
-		  clock_settime.c clock_gettime.c clock_getres.c sleep.c usleep.c
+TIME_SRCS	= sched_processtimer.c sleep.c usleep.c
+CLOCK_SRCS	= clock_initialize.c mktime.c gmtime_r.c clock_settime.c \
+		  clock_gettime.c clock_getres.c
 SIGNAL_SRCS	= sig_initialize.c \
 		  sig_action.c sig_procmask.c sig_pending.c sig_suspend.c \
 		  sig_queue.c sig_waitinfo.c sig_timedwait.c \
@@ -101,6 +102,9 @@ IRQ_SRCS	= irq_initialize.c irq_attach.c irq_dispatch.c irq_unexpectedisr.c
 
 CSRCS		= $(MISC_SRCS) $(TSK_SRCS) $(SCHED_SRCS) $(WDOG_SRCS) $(TIME_SRCS) \
 		  $(SEM_SRCS) $(IRQ_SRCS)
+ifneq ($(CONFIG_DISABLE_CLOCK),y)
+CSRCS		+= $(CLOCK_SRCS)
+endif
 ifneq ($(CONFIG_DISABLE_PTHREAD),y)
 CSRCS		+= $(PTHREAD_SRCS)
 endif
diff --git a/sched/os_start.c b/sched/os_start.c
index 5cf7c940fd..1238342c4a 100644
--- a/sched/os_start.c
+++ b/sched/os_start.c
@@ -306,12 +306,14 @@ void os_start(void)
 
   /* Initialize the POSIX timer facility (if included in the link) */
 
+#ifndef CONFIG_DISABLE_CLOCK
 #ifdef CONFIG_HAVE_WEAKFUNCTIONS
   if (clock_initialize != NULL)
 #endif
     {
       clock_initialize();
     }
+#endif
 
   /* Initialize the watchdog facility (if included in the link) */