From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: pukkamustard Newsgroups: gmane.lisp.guile.user Subject: Re: Curiosity: Microkernel implemented in Guile ? Date: Thu, 23 Jun 2022 09:13:56 +0000 Message-ID: <86wnd74tpr.fsf@posteo.net> References: <20220623081120.091b84b7.matias_jose_seco@autoproduzioni.net> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="27918"; mail-complaints-to="usenet@ciao.gmane.io" Cc: guile-user@gnu.org To: Matias Jose Seco Baccanelli Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Thu Jun 23 11:26:30 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 1o4J6c-00074s-P8 for guile-user@m.gmane-mx.org; Thu, 23 Jun 2022 11:26:30 +0200 Original-Received: from localhost ([::1]:38702 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o4J6b-0005zr-9W for guile-user@m.gmane-mx.org; Thu, 23 Jun 2022 05:26:29 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:44322) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o4J5s-0005wn-To for guile-user@gnu.org; Thu, 23 Jun 2022 05:25:45 -0400 Original-Received: from mout01.posteo.de ([185.67.36.65]:44791) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o4J5q-0004Xa-H4 for guile-user@gnu.org; Thu, 23 Jun 2022 05:25:44 -0400 Original-Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id B17FA240027 for ; Thu, 23 Jun 2022 11:25:38 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1655976338; bh=s5RrC0Z+IFWozf591/TSy0eENDkE/RzMMN6Uqz09v2g=; h=From:To:Cc:Subject:Date:From; b=bFTzLT+8DbCsRjljYOnC6G7Y6rY+TohSr9VhKnMoOGi+TK8Al5uHZjCdjL86YXIRG 74NCtRq7oAhTF+JWXY3uTW74ghKisZT9/onUXuvFONRBATUWt7GDTdJmke1Bi0Dk5B 3pY5BnUs8KumDf9pOnjiMZIgLOnD9frJBqzzeke1qxzIx2fqJwEsNw2V3yEgeSEjj6 8sMQDZM0AqxXJM8W8tJs7zhZd3M07CqIXT04RhHkzJgKUkSUcvJ/RdLob4miprMXy8 r+M+RDeQ/VswpIGZgXrHQdn3KZUO9lEvEkYUP9OM7OAs3F4TFiM5r64JtO0wipDdsx c788V1YvIt0zA== Original-Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4LTFGp0NWZz6tmp; Thu, 23 Jun 2022 11:25:37 +0200 (CEST) In-reply-to: <20220623081120.091b84b7.matias_jose_seco@autoproduzioni.net> Received-SPF: pass client-ip=185.67.36.65; envelope-from=pukkamustard@posteo.net; helo=mout01.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=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:18321 Archived-At: As mentioned, Scheme lacks various things that you might need to implement a bare-metal microkernel (for example manual memory management). There is PreScheme (https://thintz.com/resources/prescheme-documentation) - a low-level dialect of Scheme that gives you the necessary primitives. PreScheme can be run from Scheme (see https://thintz.com/resources/prescheme-documentation#Running-Pre_002dScheme-as-Scheme) by emulating lower-levels. This allows you to hack on low-level code directly from the REPL. You might also be interested in the 3L project (https://3lproject.org/) that did some work towards using PreScheme for bare-metal programming. Regards, pukkamustard Matias Jose Seco Baccanelli writes: > Good morning Guilers! > Being a huge fan of Libre Software and Guile powers, i was having a big > curiosity in regards to the kernel languages arena: > was ever made an attempt to implement a Microkernel from scratch in > Guile language ? > Isn't a cool mix the functional approach of Guile and the modular one > of Microkernel ? (and loads of more features i suppose!) > > Feels like a nice recipe for User Empowerment ! > Just asking as a total beginner on this topic, > Happy Hacking! > Matias