OSEC

Neohapsis is currently accepting applications for employment. For more information, please visit our website www.neohapsis.com or email hr@neohapsis.com
 
Re: verified executables

From: Hubert Feyrer (hubertfeyrer.de)
Date: Thu Jan 26 2006 - 06:22:28 CST

On Thu, 26 Jan 2006, Brett Lymn wrote:
> The code is in the NetBSD kernel sources. Most of the code is in
> kern_verifiedexec.c.

FWIW, an overview of the NetBSD source tree is available here:

  * A Tour through the NetBSD Source Tree: Part I - Userland
    http://ezine.daemonnews.org/200203/netbsdsrctree1.html

  * A Tour through the NetBSD Source Tree: Part II - Libraries
    http://ezine.daemonnews.org/200204/netbsdsrctree2.html

  * A Tour through the NetBSD Source Tree - Part III: Kernel
    http://ezine.daemonnews.org/200205/netbsdsrctree3.html

A bit dated, but most things should still apply.

  - Hubert