From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Paul Emsley Newsgroups: gmane.lisp.guile.user Subject: Re: Curiosity: Microkernel implemented in Guile ? Date: Thu, 23 Jun 2022 18:47:15 +0100 Message-ID: <57245ec4-9d8b-6d23-e45a-24ccd330ed94@mrc-lmb.cam.ac.uk> References: <20220623081120.091b84b7.matias_jose_seco@autoproduzioni.net> <86o7yj1srm.fsf@sdf.org> <87o7yjld0f.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="11553"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.9.1 To: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Thu Jun 23 19:48:13 2022 Return-path: Envelope-to: guile-user@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1o4Qw7-0002o2-6I for guile-user@m.gmane-mx.org; Thu, 23 Jun 2022 19:48:11 +0200 Original-Received: from localhost ([::1]:40476 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o4Qw5-0006GK-LD for guile-user@m.gmane-mx.org; Thu, 23 Jun 2022 13:48:09 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:42576) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o4QvL-0006DS-FB for guile-user@gnu.org; Thu, 23 Jun 2022 13:47:24 -0400 Original-Received: from ppsw-43.srv.uis.cam.ac.uk ([131.111.8.143]:37560) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o4QvJ-0005sH-Fk for guile-user@gnu.org; Thu, 23 Jun 2022 13:47:23 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=cam.ac.uk; s=20210802.ppsw; h=Content-Transfer-Encoding:Content-Type:In-Reply-To:From: References:To:Subject:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=+1KRgTJtDNY3Qg8vfOSzMEIIFvPvA7IdRvTJLlTohZs=; b=APzbG/ldek3AlNVEQe4Uj/iGk4 o51pCPUba90o+Rl+FizRUQs5uThu0lLlTqV1ibJ2xDgMJ1TTlGgTkU0K+BzBa+qpoeIh8m0K1RW9c JOFHuvzXXzgdz33wxKzae9VGyVp0/Lppd4L5bjJRUl0nIMcoeBZpmAUy5T7iaq+U1/Uk=; X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: https://help.uis.cam.ac.uk/email-scanner-virus Original-Received: from mail.mrc-lmb.cam.ac.uk ([131.111.85.9]:59848 helo=mail.lmb.internal) by ppsw-43.srv.uis.cam.ac.uk (ppsw.cam.ac.uk [131.111.8.139]:25) with esmtp id 1o4QvE-000bE8-Vw (Exim 4.95) for guile-user@gnu.org (return-path ); Thu, 23 Jun 2022 18:47:16 +0100 Original-Received: from 88-104-28-100.dynamic.dsl.as9105.com ([88.104.28.100] helo=[192.168.1.16]) by mail.lmb.internal with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (Exim 4.94.2) (envelope-from ) id 1o4QvE-00CShN-JH for guile-user@gnu.org; Thu, 23 Jun 2022 18:47:16 +0100 Content-Language: en-US In-Reply-To: <87o7yjld0f.fsf@web.de> Received-SPF: pass client-ip=131.111.8.143; envelope-from=pemsley@mrc-lmb.cam.ac.uk; helo=ppsw-43.srv.uis.cam.ac.uk X-Spam_score_int: -42 X-Spam_score: -4.3 X-Spam_bar: ---- X-Spam_report: (-4.3 / 5.0 requ) BAYES_00=-1.9, DKIMWL_WL_MED=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, NICE_REPLY_A=-0.001, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.io gmane.lisp.guile.user:18328 Archived-At: On 23/06/2022 14:30, Dr. Arne Babenhauserheide wrote: > Ognen Duzlevski writes: > >> Matias Jose Seco Baccanelli writes: >>> Isn't a cool mix the functional approach of Guile and the modular one >>> of Microkernel ? (and loads of more features i suppose!) >> What I think would be easier to do is embed Scheme inside an OS kernel.... > With the Hurd you reduce the scope of what is the kernel, so Scheme can > do lots of jobs usually reserved for lower-level languages. You could > for example write your complete filesystem or networking layer in > Scheme. FWIW, some time ago I wrote a version of "top" for the Hurd (it didn't have one) using Guile (1.3 maybe?) and libps. It may be possible to find it with some searching (not tried). Paul.