A couple more questions:
1) Historically, we have put the file name at the top of each file.
This form would retain that convention. Is this acceptable?
2) The line length in the coding standard is 78 bytes. The longest
line in the same is 62 bytes. That looks weird. Can we use the 78
character line width?
Also
3) The coding standard permits a one line description of the file as the
third line, juat after the file path. People do not often use this, but
I think it should also be permitted. It certainly helpful having a one
liner telling you what the file is.
Again, you can see the propose file header at:
https://github.com/apache/incubator-nuttx/pull/201/files
