Gregory Nutt 91c8bc4f93 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
arch	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