l4-hackers

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

2 participants
2880 discussions

looking for PCA-200E firmware&driver
by uaca＠alumni.uv.es 09 Jan '03

09 Jan '03

Hi I'm interested in download the source of the Fore-PCA200 firmware the DROPs project made (source code), and also the driver I haven't found that on the guest access to the cvs server, etc... I have tried to contact Uwe Dannowski and other L4-ATM people with no luck anybody can help me? Thanks in advance Ulisses Debian GNU/Linux: a dream come true ----------------------------------------------------------------------------- "Computers are useless. They can only give answers." Pablo Picasso ---> Visita http://www.valux.org/ para saber acerca de la <--- ---> Asociación Valenciana de Usuarios de Linux <---

3 3

how current l4(with oskit) implement the driver framework?
by Yu Neil 07 Jan '03

07 Jan '03

hello: how current l4(with oskit) implement the driver framework? ( the oskit`s ? ), and where is the Omega0 server ? ( not implement ? ) Neil Yu _________________________________________________________________ 享用世界上最大的电子邮件系统― MSN Hotmail。 http://www.hotmail.com

1 0

starting
by Luis Araujo 27 Dec '02

27 Dec '02

Hi.... is there exist some good start-manual for the L4? i got the L4refx86, and im looking for more concepts......... thanks _________________________________________________________ Do You Yahoo!? Información de Estados Unidos y América Latina, en Yahoo! Noticias. Visítanos en http://noticias.espanol.yahoo.com

1 0

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 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? Christian, the current version of Hazelnut supposedly works on the iPaq. I used it on the one I have here which is a 3630 model with 32MB RAM. You explicitly load the arm-booter image to address 0xC1000000 and then jump to this address. It loads the elf images and starts the kernel. Currently, the kernel supports serial line as debug output device. But be aware that there are unsolved issues like IRQ handling. > Next, L4Linux has to be ported to the StrongARM. > Is there a L4Linux/ARM available somewhere? Is > someone working on it or has a student that can > do it? AFAIK, there is no L4Linux port to ARM. I did a not-yet-released port of Linux 2.4 to L4 for x86 which currently runs on Pistachio, Hazelnut and thanks to Adam on FIASCO. Based on that you could start an ARM adaptation. Adam started to factor out the x86 and L4 API dependencies to make the code base more reusable, but the x86 dependencies are still tremendous. The former port of L4Linux to MIPS started a completely new Linux hardware architecture. Thus, I do not have a clear idea how much architecture dependencies will show up, but I expect a lot. I mean a lot!!! I do not know anybody who currently plans to do an ARM port nor do we have any resources to do it. Maybe the Dresden group??? - Volkmar

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. Is there a L4Linux/ARM available somewhere? Is someone working on it or has a student that can do it? I can try to do so, but I fear here in Saarbruecken it is difficult to find students with experiences in Linux, C and OS in general. Maybe, I have to do it myself, but I will need help from the DROPS and L4KA people... Thanks & Regards, Chris -- Christian Stueble <stueble(a)cs.uni-sb.de> Saarland University, Dept. for Computer Science Security and Cryptography Group @Saarland University/DFKI Im Stadtwald, D-66123 Saarbruecken, Building 45, Room 534 Tel.: +49(681)302-5635 Fax.: +49(681)302 4631 Get public key from http://www-krypt.cs.uni-sb.de Fingerprint 8678 C5D3 CAD9 CD8C F1DD B8EC 202F 116A

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:anonymous@udenbysvester.dk:/var/lib/cvs co <module> where module is either linux22 or nomadbios. If you check out linux22 you must use the "guest" branch when checking out, otherwise nothing will work. Regards, Asger Henriksen

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

RE: Re[8]: performance of L4Linux
by Volkmar Uhlig 29 Oct '02

29 Oct '02

> As far as I understand you want to find out whether: > - mklinux is really as bad as published > - L4Linux is really as fast as published > > Start with the first one. > > Then fetch a version of L4 from l4kabuild l4linux 2.0 against it and > try to find out about the second point. (I don't know whether l4ka's > version supports 4Mb pages and small address spaces but you will find > out whether they do or not) Hazelnut supports small spaces. We published a TR about the performance of small spaces for the P4 architecture using an L4Linux environment. See also: http://i30www.ira.uka.de/research/publications/ Actually, the relative syscall overhead using an adopted glibc was lower than the original numbers given by the SOSP paper. We ran L4Linux and the applications in small spaces. (Hazelnut supports different configurations for small spaces -- up to 2GB for the small space area.) - Volkmar

1 0

Jump to page:

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