Gregory Nutt 9ad7dae4c1 Rename kufree to kumm_free for consistency with other naming		2014-08-31 16:15:11 -06:00
..
include	More trailing whilespace removal	2014-04-13 16:22:22 -06:00
src	Rename kufree to kumm_free for consistency with other naming	2014-08-31 16:15:11 -06:00
Kconfig	configs/rgmp/x86/default: Configuration converted to use the kconfig-frontends tools	2014-03-06 11:47:16 -06:00