Gregory Nutt e958040269 Add capability to perform initial board initialization on a separate worker thread.

2014-09-03 18:36:43 -06:00

..

init.h

…

Make.defs

…

os_bringup.c

Add capability to perform initial board initialization on a separate worker thread.

2014-09-03 18:36:43 -06:00

os_start.c

Fix more places where the user-mode allocator is used to allocate kernel thread resources -- before the user-mode allocator even exists

2014-09-03 14:58:24 -06:00