From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Daniel Hartwig Newsgroups: gmane.os.hurd.l4,gmane.lisp.guile.user Subject: Re: GNU Hurd on $scheme Date: Sun, 3 Feb 2013 08:04:46 +0800 Message-ID: References: <87sj5f81d6.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1359850355 32053 80.91.229.3 (3 Feb 2013 00:12:35 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 3 Feb 2013 00:12:35 +0000 (UTC) To: guile-user@gnu.org, l4-hurd@gnu.org Original-X-From: l4-hurd-bounces+gnu-l4-hurd=m.gmane.org@gnu.org Sun Feb 03 01:12:55 2013 Return-path: Envelope-to: gnu-l4-hurd@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1U1nCW-0007l3-Sk for gnu-l4-hurd@m.gmane.org; Sun, 03 Feb 2013 01:12:52 +0100 Original-Received: from localhost ([::1]:56379 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U1nCE-0000ex-10 for gnu-l4-hurd@m.gmane.org; Sat, 02 Feb 2013 19:12:34 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:55904) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U1nC6-0000X2-ON for l4-hurd@gnu.org; Sat, 02 Feb 2013 19:12:27 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U1nC5-0000NB-6A for l4-hurd@gnu.org; Sat, 02 Feb 2013 19:12:26 -0500 Original-Received: from mail-ia0-x230.google.com ([2607:f8b0:4001:c02::230]:62220) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U1nC2-0000MK-Oa; Sat, 02 Feb 2013 19:12:22 -0500 Original-Received: by mail-ia0-f176.google.com with SMTP id i18so6809031iac.35 for ; Sat, 02 Feb 2013 16:12:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:content-type:content-transfer-encoding; bh=cxZskfvOSFLU/S6Qpga9eJVegLhsZ0Dlb36+vA4/ZRo=; b=g7Xc5QgXQbd+nucb7k7XejJ59ZexMjFKWUfiL87QdF55FRsIKlfAVkbC8zPXCzP7XC qaLhXWoC7GImE3ZUlA5Rb/FcfgTPKq9D2CgNH7BOi9gomrAsoVOthata5pyUN257y2N8 Rh/ia+/fVPB0bURVR5CUMbTbOCKalZbUZNtUdZHqpT9XLasU9eHxhXmn2McZH8T/GOf2 W96qK+XE36oXWz+LijyaSds+faNgWP8uWkZKUSLQMZ2JOPwh0nd44O3VPimPJUJKo1zE CHsV7Cc/ZXsWemJEuLMxAzvhbzkR7HVBT9tGL8VbJX1DPQs49mE8DF1RhDhX+PmcIHsx Kmbw== X-Received: by 10.50.40.131 with SMTP id x3mr2158009igk.10.1359849887010; Sat, 02 Feb 2013 16:04:47 -0800 (PST) Original-Received: by 10.64.76.51 with HTTP; Sat, 2 Feb 2013 16:04:46 -0800 (PST) In-Reply-To: <87sj5f81d6.fsf@gnu.org> X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2607:f8b0:4001:c02::230 X-BeenThere: l4-hurd@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Discussion about the future direction of the GNU Hurd List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: l4-hurd-bounces+gnu-l4-hurd=m.gmane.org@gnu.org Original-Sender: l4-hurd-bounces+gnu-l4-hurd=m.gmane.org@gnu.org Xref: news.gmane.org gmane.os.hurd.l4:6027 gmane.lisp.guile.user:10004 Archived-At: On 2 February 2013 18:19, Ludovic Court=C3=A8s wrote: > Daniel Hartwig skribis: >> After bootstrapping my current pet project, > > So you already started? > =E2=80=9CAny day now.=E2=80=9D > I think there are really two approaches: one is to augment the Hurd with > Guile APIs and servers, and another one is to write a Scheme OS (like > G=C3=B6ran=E2=80=99s http://weinholt.se/nygos/). You=E2=80=99re taking t= he first one, right? Primarily the second, I think. Guile APIs for the Hurd will be constructed, but I plan to implement from the security kernel down in Scheme, the target environment having most of core servers and kernel running in a single VM process. How well that works in practice is anyones guess. > > For the Hurd, I=E2=80=99d start by writing some sort of a MiG in Scheme m= acros. > This should permit porting the servers without having a Scheme kernel, righ= t? Regards