Subject: Re: verified executables
To: vishal butte <vishal_butte@yahoo.co.in>
From: Hubert Feyrer <hubert@feyrer.de>
List: tech-security
Date: 01/26/2006 13:22:28
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