The Interim Operating System
Interim OS is a radical new operating system with a focus on minimalism. It steals conceptually from Lisp machines (language-based kernel) and Plan 9 (everything is a file system). It boots to a JITting Lisp-like REPL and offers the programmer/user the system's resources as filesystems.
Interim runs on:
Detailed docs are in docs/index.html.
The official IRC channel for development and usage questions is #interim-os on freenode.
If you find bugs, please file an issue in the Github issue tracker.
1b. For a hosted version on Mac OS X, you will need GNU binutils, which can be obtained via homebrew:
brew install binutils. You can also get SDL2 via homebrew.
To build the hosted variant, cd to
To cross-compile for bare metal, use
./rpi2-build.sh. This will create build/interim-arm.elf.
cd sledge ./sledge
To launch the graphical REPL/Shell:
./sledge < tests/boot2.l
Prepare a bootable SD card with the usual FAT partition that has the Pi-specific boot blobs in it and copy
kernel.img into it. You can recycle any other Raspberry OS distribution, i.e. Raspian for this. Just replace the kernel7.img and delete cmdline.txt. Keyboard input is currently only over UART, so you will probably want to connect a UART->USB cable to another computer and use it to control Interim.
Interim OS: GNU GPLv3 or later, (C) 2015-2016 Lukas F. Hartmann / @mntmn
Interim OS is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.