Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Dr. Arne Babenhauserheide
Moin Matias, 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!) > > Feels like a nice recipe for User Empowerment ! The most practical way forwards for that might be Guile bindings

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Maxime Devos
Matias Jose Seco Baccanelli schreef op do 23-06-2022 om 08:11 [+0200]: > Feels like a nice recipe for User Empowerment ! How does this empower users? Sure, if the user is a programmer they can modify their custom microkernel in Scheme, but then you have a very niche OS that practically no other s

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Ricardo G. Herdt
Never tried it myself, but in case you are interested in exploring Scheme for this kind of development, check Loko Scheme, which runs on bare-metal and is developed to be a "platform for application and operating system development": https://scheme.fail/ There is also a #loko channel on liber

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread pukkamustard
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

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Nala Ginrut
Personally, I don't think Guile (as Scheme) is suitable for a system level language for low-level programming. But it's a good choice to use Guile to extend a C implemented microkernel. Such a design, is actually the real GNU operating system described in imagination. So the question should be: is

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Maxime Devos
Nala Ginrut schreef op do 23-06-2022 om 18:09 [+0800]: > Such a design, is actually the real GNU operating system described in > imagination. So the question should be: is there any attempt to write GNU > Hurd binding with Guile, and implement the multi server OS to complete GNU? > > I never heard

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Ognen Duzlevski
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 t

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Dr. Arne Babenhauserheide
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 re

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread zimoun
Hi, On Thu, 23 Jun 2022 at 08:11, Matias Jose Seco Baccanelli wrote: > 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 > Guil

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Nala Ginrut
Many folks shared great Scheme for lower-level. I think I have to clarify that I agree that Scheme is good for low-level, depends on implementation. But we are talking about Guile, and Guile was not designed for that purpose, it's dedicated to extend C program, so the better choice is to extend a C

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Paul Emsley
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 Sche

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Dr. Arne Babenhauserheide
Nala Ginrut writes: > Many folks shared great Scheme for lower-level. I think I have to clarify > that I agree that Scheme is good for low-level, depends on implementation. > But we are talking about Guile, and Guile was not designed for that > purpose, it's dedicated to extend C program, so the

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Nala Ginrut
Agreed, Guile's design was widened. But I think we are talking about different "low-level", for Hurd, Guile can be used to write OS components, say, filesystem. However, except for GNU Mach, most OS components are implemented in userland, and Guile is good for that, this is what it's designed for.

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Ognen Duzlevski
"Dr. Arne Babenhauserheide" writes: > [[PGP Signed Part:Undecided]] > > And the Hurd is a good way to get low level with much fewer risks than > Linux kernel hacking. I considered embedding a scheme interpreter into a kernel for fun (!) but even then (non-commercial interest), I only thought o

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Dr. Arne Babenhauserheide
"Ricardo G. Herdt" writes: > Never tried it myself, but in case you are interested in exploring > Scheme for this kind of development, check Loko Scheme, which runs on > bare-metal and is developed to be a "platform for application and > operating system development": > > https://scheme.fail/ >

Re: Curiosity: Microkernel implemented in Guile ?

2022-06-23 Thread Dr. Arne Babenhauserheide
Nala Ginrut writes: > Agreed, Guile's design was widened. But I think we are talking about > different "low-level", for Hurd, Guile can be used to write OS > components, say, filesystem. However, except for GNU Mach, most OS > components are implemented in userland, and Guile is good for that, >