Alin,
I think Xiang's suggestion to keep it at github.com/NuttX makes sense, because the HAL shouldn't be donated to the Apache Software Foundation (the HAL is vendor-owned). We all have access to github.com/NuttX, so it is not an issue to keep it there. Good point! Would this be hosted as third party code? Or would a software grant and ASF ownership be required? The ASF is not supportive of incorporating third part code (but will tolerate it with proper documentation and permissions).
