diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-09-01 12:27:17 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-09-01 12:27:17 -0600 |
commit | 9ee5cfaffa313949563fb37f7cd39a2b7620a4dd (patch) | |
tree | c4ac8ef00bbc20cd9d265d6fdc1e917f3a96eb37 /misc/tools | |
parent | e21b9a799cafb19d617995579d5b16739a34f2bb (diff) | |
download | px4-nuttx-9ee5cfaffa313949563fb37f7cd39a2b7620a4dd.tar.gz px4-nuttx-9ee5cfaffa313949563fb37f7cd39a2b7620a4dd.tar.bz2 px4-nuttx-9ee5cfaffa313949563fb37f7cd39a2b7620a4dd.zip |
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
Diffstat (limited to 'misc/tools')
0 files changed, 0 insertions, 0 deletions