l4-hackers November 2002

l4-hackers@os.inf.tu-dresden.de

6 participants
6 discussions

is there any l4 lib avaliable ?
by Yu Neil 02 Dec '02

02 Dec '02

just like the l4 environment from tu-dresden, but it`s unavaliable Neil Yu _________________________________________________________________ 享用世界上最大的电子邮件系统― MSN Hotmail。 http://www.hotmail.com

2 1

RE: L4 on iPAQ question
by Volkmar Uhlig 15 Nov '02

15 Nov '02

> -----Original Message----- > From: Christian Stüble [mailto:stueble@cs.uni-sb.de] > Sent: Friday, November 08, 2002 5:01 PM > To: l4-hackers(a)os.inf.tu-dresden.de > Subject: L4 on iPAQ question > > we just got some iPAQ 3870 Handhelds (very nice > little devices :-) and I will try to port PERSEUS > to it. Obviously, I should start with installing > L4 onto it. But I don't know more than that I > have installed the bootldr Bootloader that can > boot … [View More]

2 1

L4 on iPAQ question
by Christian Stüble 08 Nov '02

08 Nov '02

Hello, we just got some iPAQ 3870 Handhelds (very nice little devices :-) and I will try to port PERSEUS to it. Obviously, I should start with installing L4 onto it. But I don't know more than that I have installed the bootldr Bootloader that can boot images from Serial or CF (installing plain linux works well). Has someone else tried to install L4 on iPAQ and can give me hints how to do it? If not, what should I do first? What should I read? Next, L4Linux has to be ported to the StrongARM. … [View More]

1 0

NomadBIOS source availability
by Asger Henriksen 05 Nov '02

05 Nov '02

Hi all, Just wanted to let you know, that a read-only cvs repository has been set up for access to the sourcecode for nomadbios. It is still a little rough, but we will iron out whatever issues can/will arise. The cvs repo contains the source for the linux22 sourcetree, as well as the nomadbios server itself. In the download area of the website patches for Oskit and Fiasco has been added. Just do cvs -d:pserver:anonymous@udenbysvester.dk:/var/lib/cvs login <no password> cvs -d:pserver:… [View More]

1 0

NomadBios sources now available
by Jacob Gorm Hansen 05 Nov '02

05 Nov '02

not pretty, but there. I've also put up our experimental fiasco & oskit patches. best, Jacob

1 0

NomadBIOS project
by Jacob Gorm Hansen 02 Nov '02

02 Nov '02

hi all, we have just put up a minimal website about our thesis project, titled 'NomadBIOS', which allows you to run multiple l4linuxes at once, and to hot-migrate them between host machines. The thesis is not exacly written yet, but in the meanwhile you might want to have a go at it. The website and download is at http://www.nomadbios.dk Have fun! Asger Henriksen & Jacob Gorm Hansen

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers November 2002