Gregory Nutt 6a20560ba2 Trivia fix to typo in comment		2016-10-26 12:29:36 -06:00
..
init.h	SMP: Simplified SMP interfaces	2016-03-12 15:29:33 -06:00
Make.defs	SMP: Add some tentative initialization logic	2016-02-10 13:49:27 -06:00
os_bringup.c	Replace all occurrences of vdbg with vinfo	2016-06-11 11:59:51 -06:00
os_smpstart.c	sched/: Change some *err() message to *info() messages if what was a *dbg() message does not indicate and error condition.	2016-06-11 16:42:42 -06:00
os_start.c	Trivia fix to typo in comment	2016-10-26 12:29:36 -06:00