Index: doc/TODO
===================================================================
--- doc/TODO	(revision 4e1d008f0a336b65b7e5ee6c99877490114a7ecd)
+++ doc/TODO	(revision 27dc170d4c2e2260fb8798d8d1ee4d13d15e345e)
@@ -10,6 +10,4 @@
 + get user mode support for all architectures
 
-+ when a new thread enters scheduler, at least one CPU in
-  cpu_sleep() should be woken up by an IPI
 + save/restore floating point context on context switch 
   + [ia32] lazy context switch using TS flag