John e865b46304 add console and env values to change the default values of gtimer		2019-01-23 13:01:58 +08:00
..
cmdenv	add console and env values to change the default values of gtimer	2019-01-23 13:01:58 +08:00
mutex	add console and env values to change the default values of gtimer	2019-01-23 13:01:58 +08:00
rwmutex	add console and env values to change the default values of gtimer	2019-01-23 13:01:58 +08:00