 Gregory Nutt
|
5773e78a16
|
In protected build, need to specify CPU configuration on GCC command line or we get the wrong libgcc
|
2015-11-18 11:43:00 -06:00 |
|
|
Gregory Nutt
|
dcb2b2077f
|
Update protected build logic for all platforms that supported the protected build. This is necessary due to changes in the definition of the userspace interface
|
2015-07-10 08:35:36 -06:00 |
|
|
Gregory Nutt
|
245f506676
|
All kernel 1st pass builds: Rename files for better conformance to naming conventions
|
2015-03-21 15:01:32 -06:00 |
|
|
Gregory Nutt
|
4ad13d380f
|
Rename CONFIG_SCHED_USRWORK to CONFIG_LIB_USRWORK
|
2014-10-11 15:59:40 -06:00 |
|
|
Gregory Nutt
|
f1212bf8e9
|
Decouple the user-space work queue from the kernel space work queues
|
2014-10-11 15:50:22 -06:00 |
|
|
Gregory Nutt
|
7939ff50d9
|
Move include/nuttx/mm.h to include/nuttx/mm/mm.h
|
2014-09-24 07:29:09 -06:00 |
|
|
Gregory Nutt
|
62231a28e9
|
Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL
|
2014-08-29 14:47:22 -06:00 |
|
|
Gregory Nutt
|
ab5b37189b
|
More trailing whilespace removal
|
2014-04-13 16:22:22 -06:00 |
|
|
Gregory Nutt
|
bd0ad373e4
|
STM3240G-EVAL knxwm: Work around CodeSourcery library bug by switching to buildroot
|
2013-12-31 10:55:46 -06:00 |
|
|
Gregory Nutt
|
a463c71ac3
|
STM3240G-EVAL: Add kernel build mode support and an NxWM kernel mode configuration
|
2013-12-29 13:15:08 -06:00 |
|