The 3L Project

A new Lisp OS

Primary Focus:

  • Extensibility
  • Security
  • R7RS Scheme
  • Single runtime
  • One address space
  • PreScheme

Extensibility

Similar to emacs, Genera

Hacker friendly

  • Redefine (most) of the OS at runtime
    • Drivers
    • Schedulers
    • Memory management
    • etc
  • Introspection
  • System-wide debugger

    (Debug from an application all the way through the kernel)

  • First class source mapping
  • First class documentation

Example: hardware interaction

Example: first class source mapping

Security

First class environments

(with-environment (safe-scheme-environment) (+ 1 2))

Success!

(with-environment (safe-scheme-environment)
  (with-output-to-file "foo" (lambda () (write "hi")))

ERROR!

Security continued

  • Type checking
  • Bounds checking
  • No "native" code
  • GC only

Secure mode

  • Development features disabled
  • Read-only code
  • Reboot to exit (freebsd security levels)

Status

  • Runs on "bare metal"
  • REPL
  • Partial R7RS Scheme
    • call/cc (first class continuations)
    • Many primitives
    • No syntax-rules (but close) via er-macros
  • Low level memory 'port's

More info

  • kickstarter - The 3L Project
  • email: t@thintz.com
  • thintz.com