From owner-freebsd-arch Tue Mar 5 13:49:38 2002 Delivered-To: freebsd-arch@freebsd.org Received: from iguana.icir.org (iguana.icir.org [192.150.187.36]) by hub.freebsd.org (Postfix) with ESMTP id F269D37B400 for ; Tue, 5 Mar 2002 13:49:32 -0800 (PST) Received: (from rizzo@localhost) by iguana.icir.org (8.11.6/8.11.3) id g25LnWg79752; Tue, 5 Mar 2002 13:49:32 -0800 (PST) (envelope-from rizzo) Date: Tue, 5 Mar 2002 13:49:32 -0800 From: Luigi Rizzo To: arch@freebsd.org Subject: do we need full kernel sources to compile loadable modules ? Message-ID: <20020305134932.A79697@iguana.icir.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.3.23i Sender: owner-freebsd-arch@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.ORG Plain and simple... I thought one could compile a kernel extension (foo.ko) without full kernel sources, as the various include files describing kernel interfaces and data structures are installed in various places under /usr/include . This seems to work fine in many cases. Turns out, however, that at least one thing (namely vnode_if.h) is not there, and it needs to be reconstructed using sys/kern/vnode_if.{pl,src} So i wonder: + is it a desirable goal that one can compile kernel extensions without requiring a full kernel source tree ? + if so, shouldn't we make sure that, as part of the creation of /usr/include, a copy of vnode_if.h is generated somewhere (maybe in /usr/include/sys or wherever is more appropriate) ? + are there other header files (and maybe objects, e.g. there is also a vnode_if.o) which have similar problems ? cheers luigi ----------------------------------+----------------------------------------- Luigi RIZZO, luigi@iet.unipi.it . ICSI (on leave from Univ. di Pisa) http://www.iet.unipi.it/~luigi/ . 1947 Center St, Berkeley CA 94704 Phone: (510) 666 2927 ----------------------------------+----------------------------------------- To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-arch" in the body of the message