79864c6ec2
I don't think this will amke any difference except maybe for hosted ports Change-Id: I84f898aea92a6963901a6d889dd18b63f24c9a41 |
||
---|---|---|
.. | ||
arm_support | ||
fixedpoint | ||
libsetjmp | ||
microtar | ||
rbcodec | ||
skin_parser | ||
tlsf | ||
unwarminder | ||
x1000-installer |