From owner-freebsd-questions@freebsd.org  Wed Oct 24 13:26:00 2018
Return-Path: <owner-freebsd-questions@freebsd.org>
Delivered-To: freebsd-questions@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id C4296FD6CF3
 for <freebsd-questions@mailman.ysv.freebsd.org>;
 Wed, 24 Oct 2018 13:26:00 +0000 (UTC)
 (envelope-from rwmaillists@googlemail.com)
Received: from mail-wr1-x444.google.com (mail-wr1-x444.google.com
 [IPv6:2a00:1450:4864:20::444])
 (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
 (Client CN "smtp.gmail.com",
 Issuer "Google Internet Authority G3" (verified OK))
 by mx1.freebsd.org (Postfix) with ESMTPS id 3B2C98C002
 for <freebsd-questions@freebsd.org>; Wed, 24 Oct 2018 13:26:00 +0000 (UTC)
 (envelope-from rwmaillists@googlemail.com)
Received: by mail-wr1-x444.google.com with SMTP id w5-v6so5606608wrt.2
 for <freebsd-questions@freebsd.org>; Wed, 24 Oct 2018 06:26:00 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:date:from:to:subject:message-id:in-reply-to
 :references:mime-version:content-transfer-encoding;
 bh=4WoSsF9HZSzH3Nvk/s/+1xW75SaydObfJpd3PiwMOQk=;
 b=dJ7SfqzwikLs0z7uYPm/HPdQk34Mt5g/5OjovpSh4RRm8Hm+q3lDfVBH3HZExANbB3
 RmfbY1WNPLNccKZ5YEsoEuVdGrt0OBkYA0N5ov2W64OYzSihcHYiG+gr4e4fR4ibdwLo
 aawSdGQjUyLcqobnUqKE7GpJRXP/EDy/qPM7q9KUjhpt5MUOKOJMBJ81L6gUzQZVnlKz
 N90vr+wKjInLxc5jSY1HtZYZ3d8R3Xfxqk+Vv9mKohJYE4IDJdLzOsX8xpFrRUxZ+mmU
 58rxINB6KXbjEARf2uMtXkhRVl+95chht1uSrone3+WBOO50lErd1RfM6vSyW4086xvD
 0JiA==
X-Gm-Message-State: AGRZ1gKWU4dpjiRGZtf/cWvb3DbeQcu3lmCFFGXrHHmj6zAJTTlVxVUP
 YsQN7T+Yb+9mloYmqU9TInSuD/daovQ=
X-Google-Smtp-Source: AJdET5edLbH4ucMNQkh4R9Bq6dcbBW/5vrj88/kJru/tOHb8n/eLw/SvTXhz/g5uIPNj07IommnQbQ==
X-Received: by 2002:adf:f782:: with SMTP id
 q2-v6mr2799691wrp.152.1540387558702; 
 Wed, 24 Oct 2018 06:25:58 -0700 (PDT)
Received: from gumby.homeunix.com ([90.195.195.31])
 by smtp.gmail.com with ESMTPSA id e133-v6sm6068671wma.42.2018.10.24.06.25.57
 for <freebsd-questions@freebsd.org>
 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256);
 Wed, 24 Oct 2018 06:25:58 -0700 (PDT)
Date: Wed, 24 Oct 2018 14:25:55 +0100
From: RW <rwmaillists@googlemail.com>
To: freebsd-questions@freebsd.org
Subject: Re: freebsd layered with chez-scheme
Message-ID: <20181024142555.23ba267c@gumby.homeunix.com>
In-Reply-To: <1540362643.1933933.1552636744.138E61D3@webmail.messagingengine.com>
References: <142be589bc88406eeeade749b72d765f@kathe.in>
 <1540362643.1933933.1552636744.138E61D3@webmail.messagingengine.com>
X-Mailer: Claws Mail 3.16.0 (GTK+ 2.24.32; amd64-portbld-freebsd11.1)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
X-BeenThere: freebsd-questions@freebsd.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: User questions <freebsd-questions.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-questions>, 
 <mailto:freebsd-questions-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-questions/>
List-Post: <mailto:freebsd-questions@freebsd.org>
List-Help: <mailto:freebsd-questions-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-questions>, 
 <mailto:freebsd-questions-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 24 Oct 2018 13:26:00 -0000

On Wed, 24 Oct 2018 08:30:43 +0200
Dave Cottlehuber wrote:

> On Tue, 23 Oct 2018, at 08:04, Mayuresh Kathe wrote:

> > so essentially, the kernel would be layered with the libraries,
> > which would support chez-scheme running in multi-threaded mode.
> > then the rest of the userland would be a set of scheme programs.

> > ~mayuresh  
> 
> Although not exactly what you had in mind, this reminds me of rump
> kernels:

It sounds more like Android, but with a different kernel and Scheme
instead of Java.