flat assembler
Message board for the users of flat assembler.

flat assembler > OS Construction > L4/x86 micro kernel

Author
Thread Post new topic Reply to topic
bitRAKE



Joined: 21 Jul 2003
Posts: 2792
Location: dank orb
The author (Jochen Liedtke) of this micro kernel died and almost all trace of the original assembly source has been removed from the web. After searching for several days (really difficult detective work), I was able to find it:

http://www.acm.uiuc.edu/white_papers/incoming/GMD/L4/

The code is older MASM syntax.

There is a wealth of documentation at:
http://os.inf.tu-dresden.de/L4/l4x86.html

The L4 concept has been converted to non-x86 assembly, C++, Haskel, and other languages. I'm just beginning my research of it, and I can't find any later versions he developed at IBM (most likely never released). I think the kernel assembles to 12KB, but haven't tested it!

Note: the author made the kernel freely available during his life, but the rights changed upon his death, afaik.

_________________
¯\(°_o)/¯ unlicense.org
Post 24 Jan 2009, 02:09
View user's profile Send private message Visit poster's website Reply with quote
dstyl



Joined: 23 Jul 2015
Posts: 67
I can access the source you need some type of acces, cant you rlink the source as a zip
Post 27 Jul 2015, 17:09
View user's profile Send private message Reply with quote
Display posts from previous:
Post new topic Reply to topic

Jump to:  


< Last Thread | Next Thread >
Forum Rules:
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You can download files in this forum


Copyright © 1999-2019, Tomasz Grysztar.

Powered by rwasa.