recentpopularlog in

osdev

« earlier   
An illustration of why it's hard to port outside code into the Linux kernel
@mjn: "Besides being large, I think what makes me slightly wary of ZFS is that it also has a large interface with the rest of the system, and was originally developed in tandem with Solaris/Illumos design and data structures. So any OS that diverges from Solaris in big or small ways requires some porting or abstraction layer, which can result in bugs even when the original code was correct. Here’s a good writeup of such an issue from ZFS-On-Linux."
zfs  linux  osdev 
4 weeks ago by mechazoidal
Interim OS
With "Interim", I try to describe a computer and operating system that takes advantage of modern-day hardware technology while ideally being fully comprehensible in a couple of days. My strategy is to use minimalism and generic, reusable patterns wherever possible while learning from historical, ultimately unsuccessful but valuable attempts like Lisp machines or the operating system Plan 9 from Bell Labs [Pike]. The Interim system is supposed to be a pointer in the right direction, not a perfect blueprint, and a documentation of my own experimental attempts.
lisp  osdev 
5 weeks ago by athena
dump.mntmn.com/interim-paper/
"Interim is, as the name implies, an experiment of combining the homoiconicity of Lisp (manipulation of symbols), the genericity of Plan 9 (everything is a file system) with the minimalism and hackability of home computers. New languages like Rust [Rust2015], Unikernel systems like Mirage OS [Mirage2015] and hardware designs like lowRISC or the Novena laptop [Novena2015] show that it is absolutely possible to build simpler, more open and safer systems than we take for granted today."

facme: note the "list of 'buffers'" and "list of rectangular 'views'": "the same buffer can be interpreted in different ways: listen to an image, look at graphic structure of text, paint into an audio sample."
But of course contrast that with his view on emacs: it wouldn't need to exist if the OS provided the building blocks for integration.
"I argue that an operating system can be designed as a database of well-formed functions that each do one thing well. The functions can then be composed to form ad-hoc "applications". A requirement for this is that unlike in proprietary/closed/binary designs, all source code must be open and all functions reusable in new contexts. Interim OS includes functional building blocks for text display and editing, and an example development environment written in the Interim language:"
plan9  lisp  osdev  research  facme  pmz  via:mechazoidal 
5 weeks ago by force

Copy this bookmark:





to read