From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S261506AbTLBHnR (ORCPT ); Tue, 2 Dec 2003 02:43:17 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S261522AbTLBHnR (ORCPT ); Tue, 2 Dec 2003 02:43:17 -0500 Received: from mailout02.ims-firmen.de ([213.174.32.97]:62651 "EHLO mailout02.ims-firmen.de") by vger.kernel.org with ESMTP id S261506AbTLBHnQ (ORCPT ); Tue, 2 Dec 2003 02:43:16 -0500 X-KENId: 00007ADBKEN03153EF9 X-KENRelayed: 00007ADBKEN03153EF9@ken Date: 02 Dec 2003 08:43:03 +0100 From: Robert Voigt Subject: development standards of kernel needed for certification effort To: linux-kernel@vger.kernel.org Message-Id: <1070350985.501.19.camel@notfall> Mime-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: 7bit X-Mailer: Ximian Evolution 1.0.5 Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org 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