Mezzano on Librebooted ThinkPads

https://www.fitzsim.org/blog/?p=445

by _19qg • 5 years ago

226 46 5 years ago

fitzsim.org

7thaccount3• 5 years ago

That's pretty cool. I like these little tiny OSs.

a0-prw• 5 years ago

Very cool. Did you film it with a helmet-mounted GoPro? ;)

bananamerica• 5 years ago

Someone tell Stallman he can stop using a typewriter!

43g34g34• 5 years ago

All I want is a bare metal browser. I don't want an operating system and I don't want to run chromium OS. It would be great to see a bare metal browser that implements something like Gecko.

pb82• 5 years ago

Any forks of Firefox OS still alive? That comes closest.

spijdar• 5 years ago

Unless GP's objection to chromium OS is entirely because it's chromium, I don't think Firefox OS would be any better as it's essentially the same thing, Firefox running on Linux (not on bare metal)

Without writing the entire browser from scratch, I don't personally think there's much point to this. I suspect if you traced down the library/runtime requirements for Firefox and reimplemented them in a bare metal runtime, you'd end up with something remarkably complex and not much simpler than Linux + runtime in the end.

This is assuming you want a full browser capable of everything Firefox and Chromium are, which includes things like WebGL. If you cut out components, you can definitely reach a point where a bare metal browser is sensible, the question is how much are you willing to sacrifice from "web standards" and how much work are you willing to do reimplementing a kernel, TCP/IP stack, device drivers, etc...

toast0• 5 years ago

KaiOS is alive and well. You can probably find a phone or two using it wherever they sell phones.

marcodiego2• 5 years ago

I don't know if this is exactly "bare metal". I think it uses GRUB as a hardware abstraction layer. AFAIK GRUB is not particularly high performant, so it will probably be somewhat slow.

moonchild• 5 years ago

It uses grub as a bootloader. At runtime, grub is gone.

Linux also uses grub as a bootloader, and has never been called slow.

throwawayboise• 5 years ago

You pretty much need an OS to run something as complex as a browser, it's just a question of whether it's included or separate.

Arcsech• 5 years ago

This is really cool, I’ve been meaning to give Mezzano a shot sometime.

jmercouris• 5 years ago

This is fantastic! This is my ultimate dream!

Abhinav20002• 5 years ago

Can somebody elaborate what is Mezzano and how it compares to Linux?

varjag• 5 years ago

It's best described as completely something else than Linux.

Mezzano is an OS and desktop environment written from scratch in Common Lisp (including a CL compiler). It is a hobbyist project with several contributors but with most of the work done by one prolific programmer.

Abhinav20002• 5 years ago

I see, thanks

finder83• 5 years ago

This looks really cool! May have to try it in a virtualbox or something.

Does anyone know of anything similar to this, but in an image like Pharo/smalltalk has? Would love a fully interactive Common Lisp environment, built in debugger, window system, etc (that's open source)

7thaccount3• 5 years ago

Isn't that the intent of slime + emacs?

pjmlp2• 5 years ago

Without the graphics part of Lisp Machines.

xkriva11• 5 years ago

There is a try to resurrect the Interlisp (https://interlisp.org/), but it is just for preserving the old Gem.

Anyway, it is a true tragedy that Genera and Interlisp do not have any modern open successor that would coin and improve the great legacy like Smalltalk has in the form of Pharo.

lispm2• 5 years ago

One has SBCL as a high-performance implementation of Lisp and McCLIM as a portable version of the Genera user interface management system.

https://common-lisp.net/project/mcclim/

criddell• 5 years ago

Is this at all like Symbolics' Lisp Machines from the 80's?

cardanome• 5 years ago

Nope. It is a modern from scratch attempt at writing an OS purely in Common Lisp.

It is still very far from being useful for daily use or even getting close to the development experience of an Lisp Machine but for an Hobbyist OS, it is already quite impressive. Most OS projects don't even make it to the runs on real hardware step.

johnlorentzson• 5 years ago

The only notable thing they share is that they were both written in Lisp.

bruce343434• 5 years ago

From the video, the OS seems to have some considerable input latency. How snappy does it feel to use?

laurensr• 5 years ago

I couldn't help but read this as lib-reboot but it should be read as libre-boot

eggy2• 5 years ago

I am playing with and learning April[1], a subset of APL that compiles to Lisp. It is a blast for me, because I had programmed a bit in Lisp in the 90s, and then I found J around 2011/12. I always loved Lisp, and I didn't really get into Clojure, although it is a nice language. I had heard of APL when I had my Commodore PET 2001 in 1977 and my Vic20 later, but I never got to play with it. Once I did back in 2015, and the APL characters resonated with me (hard to find keyboard input workarounds etc.) because I was free of the associations of ASCII and the symbols made sense as I learned it a bit in their graphic representation and function. I have dreamed of having a real, modern Lisp Machine, so maybe I can get some of that with Mezzano. I am not sure how hard or easy it would be for April's creator, Andrew Sengul (##phantomics) to swing that, but I would participate in a crowdsourcing of it (on The Framework notebook[2] would be the icing on the cake!). I don't know enough of Mezzano to say how vialbe it really is, but I am hoping! I didn't quite get April right away, but I am really starting to appreciate it (with Andrew's help, and the APL community). Andrew's 'Why April' section, poetic and seemingly hyperbolic, is ringing less hyperbolic and more true as I get to know this twisted marriage of PLs: Lisp's legacy, tons of libs, emacs/slime, debugging, and parentheses, yes those beautiful things, to handle all the "front end" programming you could ever need, to feed the array-munching and alchemy of APL. And what about Python? I refer all Pythonistas to take heed of their and MIT's sinful choice to worship the serpent and casting us out from the garden of Lisp! Just read Milton's Paradise Lost, Book X, around verse 550-ish ;)

Machine learning which is heavily based on arrays or array math in their implementation, hence the popularity of libs to handle them like Pandas and NumPy (inspired by J, by the way. Ask Wes McKinney), has some nice nuggets or implementations of an ELM (Extreme Learning Machine) in J called 'JELM'[3], CNNs in APL[4] with some benchmarks, or getting APL into optimized GPU code via Futhark[5] and apltail[6]. And under some of those covers is Haskell as a treat!

Ah, yes we live in interesting times!

A link to an HN post in 2020 by Andrew:

[0] https://news.ycombinator.com/item?id=24434717

[1] https://github.com/phantomics/april

[2] https://frame.work/

[3] https://github.com/peportier/jelm

[4] https://dl.acm.org/doi/10.1145/3315454.3329960

[5] https://futhark-lang.org/blog/2016-06-20-futhark-as-an-apl-c...

[6] https://github.com/melsman/apltail/

Milton reference for the pious (with no parentheses;) or proper line breaks, sorry!)

Now Dragon grown, larger then whom the Sun Ingenderd in the Pythian Vale on slime, Huge Python, and his Power no less he seem’d Above the rest still to retain; they all Him follow’d issuing forth to th’ open Field, Where all yet left of that revolted Rout Heav’n-fall’n, in station stood or just array, Sublime with expectation when to see In Triumph issuing forth thir glorious Chief; They saw, but other sight instead, a crowd Of ugly Serpents; horror on them fell, And horrid sympathie; for what they saw, They felt themselvs now changing; down thir arms, Down fell both Spear and Shield, down they as fast, And the dire hiss renew’d, and the dire form Catcht by Contagion, like in punishment, As in thir crime.

Igelau• 5 years ago

and then I found J

At first glance I took that to mean Visual J++

eggy2• 5 years ago

Oh, no! Bring back the MSJVM!

vadfa3• 5 years ago

To the webmaster: the video is webm only so it does not work on iphones.

josteink• 5 years ago

If you post the url here people can probably play it through VLC though.

vadfa3• 5 years ago

https://www.fitzsim.org/screenshots/grub-mezzano-module-1.we...

HerrMonnezza• 5 years ago

I can play it on Debian with Firefox, no problems.

jraph2• 5 years ago

Give these phones a break, it's ok for a prototype not to support every format under the sun, even the more mainstream ones. Your comparison with Debian, a well-finished product which gets a lot of money and dedicated human resources to be made polished as hell is a bit unfair.

Keep in mind WebM is only a decade old, it takes time to support a patent-free video format that has readily available implementations, including BSD-licensed software ones. I'm sure Apple will support WebM when they find some money and finally manage to bring iPhones out of beta. Not every small phone producer making it is as big as Debian.

Anyway, if the default browser does not support something it should be easy to install an alternative browser, dumb phones from fifteen years ago had this ability (remember Opera Mobile?) and I hear iPhones are a bit more advanced so I'd expect them to let you do that. What kind of web-capable half-modern device wouldn't anyway.

fragmede• 5 years ago

I'm not sure why, webm is explicitly not patent encumubered to promote cross-platform playback. Is it possible Apple is the issue here?

arpa• 5 years ago

the same reason safari doesn't play ogg, but plays aac fine. Apple just want to promote their patent encumubered codecs over free ones.

throwaway81523• 5 years ago

I keep seeing "Librebooted" and thinking it says "liberated". I guess in a certain way though, that is the same thing.

Decabytes• 5 years ago

How is it even possible to write a kernel in Common Lisp? I thought kernels didn’t have enough to support the run time environment of languages that weren’t C, C++, or Rust?

Even Rust C++, and C require special compilation without parts of the Stdlib to running in the kernel.

cyberbanjo• 5 years ago

Common Lisp always struck me (not that I'm familiar) as a language lower than C, and higher than hell. Looks like high level assembler in places.

https://github.com/froggey/Mezzano/blob/master/supervisor/x8...

jonjacky• 5 years ago

It is. The expressions that look like this:

(sys.lap-x86:xor32 :eax :eax)

are assembly language statements.

lispm2• 5 years ago

LAP = Lisp Assembly Program

pjmlp2• 5 years ago

Just like with Rust, C++, and C, you have a language subset for the kernel, and then enjoy the full language on userspace.

Mezzano on Librebooted ThinkPads

Related Stories