From owner-freebsd-current Wed May 27 17:35:16 1998 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id RAA16657 for freebsd-current-outgoing; Wed, 27 May 1998 17:35:16 -0700 (PDT) (envelope-from owner-freebsd-current@FreeBSD.ORG) Received: from piglet.dstc.edu.au (piglet.dstc.edu.au [130.102.176.1]) by hub.freebsd.org (8.8.8/8.8.8) with ESMTP id RAA16531 for ; Wed, 27 May 1998 17:34:41 -0700 (PDT) (envelope-from ggm@dstc.edu.au) Received: from dstc.edu.au (sleet.dstc.edu.au [130.102.176.45]) by piglet.dstc.edu.au (8.8.7/8.8.7) with ESMTP id KAA14168; Thu, 28 May 1998 10:34:12 +1000 (EST) X-Mailer: exmh version 2.0.2 2/24/98 To: Eivind Eklund cc: Mike Smith , "John S. Dyson" , current@FreeBSD.ORG Subject: Re: Fix for undefined "__error" and discussion of shared object versioning In-reply-to: Your message of "Thu, 28 May 1998 00:47:14 +0200." <19980528004714.19214@follo.net> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Date: Thu, 28 May 1998 10:34:11 +1000 Message-ID: <2133.896315651@dstc.edu.au> From: George Michaelson Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by hub.freebsd.org id RAA16551 Sender: owner-freebsd-current@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG Is this useful? -George ------------------------- http://www.gr.opengroup.org/andf/linux_re.htm Abstract: ========= Validation of TenDRA Capability to Implement a Set of Commands for the Linux Operating System François de Ferrière Fred Roy Open Software Foundation Research Institute This report describes work done under contract to the Defence Research Agency (DRA) of the U.K. It is an extension of an earlier contract to assess the capability of the DRA TenDRA technology to express a fully portable operating system implementation. -- George Michaelson | DSTC Pty Ltd Email: ggm@dstc.edu.au | University of Qld 4072 Phone: +61 7 3365 4310 | Australia Fax: +61 7 3365 4311 | http://www.dstc.edu.au To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-current" in the body of the message