Gregory Nutt e926fe8bbf Obsolete support for the 8051 family. Trying to maintain compatibility with this family is too much effort and there has never really been a successful NuttX impplementation on these parts		2014-09-01 12:27:17 -06:00
configs	Obsolete support for the 8051 family. Trying to maintain compatibility with this family is too much effort and there has never really been a successful NuttX impplementation on these parts	2014-09-01 12:27:17 -06:00