development standards of kernel needed for certification effort

[Robert Voigt]

We want to use Linux for avionics software and need to certify it to
DO-178B. For that we must reference any development standards that have
been used. These are in particular
- software requirements standards
- software design standards
- software code standards

I found the file Documentation/CodingStyle to be relevant. Is there
anything else that has been written and followed? If someone can say
that there is not, which I think is quite likely, this information would
also be valuable.

Thank you very much in advance


-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/