- l4-hackers - example.com Site

Returned mail: see transcript for details
by xaoveeyoyobb＠spammotel.com 25 Sep '04

25 Sep '04

The original message was received at Sat, 25 Sep 2004 06:04:01 -0400 from localhost [127.0.0.1] ----- The following addresses had permanent fatal errors ----- <xaoveeyoyobb(a)spammotel.com> (reason: 550 <xaoveeyoyobb(a)spammotel.com> Benutzer hat das Speichervolumen ueberschritten. / User has exhausted allowed storage space.) ----- Transcript of session follows ----- ... while talking to mx-ha01.web.de.: >>> DATA <<< 550 <xaoveeyoyobb(a)spammotel.com> Benutzer hat das Speichervolumen ueberschritten. / User has exhausted allowed storage space. 550 5.1.1 <xaoveeyoyobb(a)spammotel.com>... User unknown <<< 503 Valid RCPT TO <recipient> must precede DATA 451 4.0.0 Cannot open hash database /etc/mail/aliases.db: Invalid argument

1 0

Returned mail: see transcript for details
by xaoveeyoyobb＠spammotel.com 24 Sep '04

24 Sep '04

The original message was received at Fri, 24 Sep 2004 16:36:23 -0400 from localhost [127.0.0.1] ----- The following addresses had permanent fatal errors ----- <xaoveeyoyobb(a)spammotel.com> (reason: 550 <xaoveeyoyobb(a)spammotel.com> Benutzer hat das Speichervolumen ueberschritten. / User has exhausted allowed storage space.) ----- Transcript of session follows ----- ... while talking to mx-ha01.web.de.: >>> DATA <<< 550 <xaoveeyoyobb(a)spammotel.com> Benutzer hat das Speichervolumen ueberschritten. / User has exhausted allowed storage space. 550 5.1.1 <xaoveeyoyobb(a)spammotel.com>... User unknown <<< 503 Valid RCPT TO <recipient> must precede DATA 451 4.0.0 Cannot open hash database /etc/mail/aliases.db: Invalid argument

1 0

C++ and dietlibc
by Leon 23 Sep '04

23 Sep '04

Hi all, I am trying to port (test) a small C++ app, which uses sockets, to the L4 environment. Most of the FLIPS examples uses the mode=l4env_base which includes dietlibc paths. I've tried to compile the app against libstdc++ and dietlibc but they do not seem compatible. The C++ app successfully compiles when using l4env_freebsd, but as soon as I include the Linux24/include directory to get the socket headers then there is a lot of clashes (duplicate defines) with the Oskit. This is obviously the reason for dietlibc in FLIPS, but the problem then is that dietlibc is not C++ compatible. With "compatible" I mean that some of the functions (like putc) is defined and not declared in the stdio.h file of dietlibc, which is then actually undefined in the cstdio file when the functions are moved to the STD namespace. Q1: Is this true - any suggestions? Thanks Leon

2 2

Fw: Re: Question about the OS Group
by R. Tyler Ballance 20 Sep '04

20 Sep '04

Anyways, minor question regarding the L4-Linux (or Fiasco for that matter) First off, I have some decent Compaq Pentium 1 desktops back home I could easily commandeer for hacking on. (I'm in college, so home is a 5 hour trip away) Will it run fine? I know system builds will suck, but it should work fine right? Secondly, I understand fully how a microkernel works, i've seen the schematics, flow charts, etc, but I'm confused at how a driver, for example, would be coded. Is it something that one hacks into userland? (Is it portable across L4 Operating Systems? (L4Linux, Fiasco, etc) Or does L4 have some special way of handling drivers? I know for example, that the Mach "microkernel" that Apple has bastardized for Darwin handles networking and such in the userland (it's been a while since i've played around on Darwin however) -Tyler ----------------- R. Tyler Ballance NetBSD-FreeBSD

6 7

FLIPS and l4linux
by Leon 08 Sep '04

08 Sep '04

Hi all, I've got a running system and some small programs running on Fiasco with DoPE and l4linux-2.4. I want to investigate FLIPS to use as an extension to one of the programs (network capable). The difference between compiling L4 and all its packages now is that I must set the parameter LINUX24_DIR to point to a directory with vanilla kernel code (I used 2.4.27) instead of previously when the parameter pointed to the L4LINUX directory (l4linux-2.4). The last one is currently my working setup. Q1: Was I doing it wrong the whole time and was just lucky to get it working? Anyway the newly compiled FLIPS system starts to load as usual but as soon as l4linux is loaded is stops with a cursor blinking below the penguin with NO text (console) output. Here is the debug output: EXT3-fs: mounted filesystem with ordered data mode. VFS: Mounted root (ext3 filesystem) readonly. Warning: unable to open an initial console. simple_t| ERROR: task #13 doesn't match: client 11.03, owner 0.00 l4lx | l4ts_create_task(): failed (server=A.00, ret=-3, exc 0) The system is still operational and I can start my programs from the "doperun" terminal. Q2: Any suggestions on why my l4linux does not want to load anymore? Thanks Leon

4 5

New L4Env release
by Ronald Aigner 01 Sep '04

01 Sep '04

The TU Dresden OS team is happy to announce the next release of L4Env - the development environment for L4/Fiasco. Please visit the L4Env website http://os.inf.tu-dresden.de/l4env/ to download version 0.2 or browse the L4Env documentation. This new release contains our efforts to further improve L4Env, so you can look forward to enhanced functionality of, for instance, the loader or region manager, which make it easier to build applications for L4. Starting with this release we will also provide you with daily snapshots of the L4Env packages at http://os.inf.tu-dresden.de/l4env/. We would like to invite you and try L4Env 0.2 and help us improve it even more. Yours, the L4Env team.

1 0

Crypto Lib (X509)
by Robert Kutsch 27 Aug '04

27 Aug '04

Hallo, has anyone already compiled or used a crypto library for X509 certificates for the L4? Im trying to compile openSSL but i have many problems with the compiler option. Thx for replay Robert Kutsch

1 0

names for the L4 ipc functions for the x86 architecture
by Rafal Somla 26 Aug '04

26 Aug '04

Hi, I tried to compile and install Fiasco-ux and L4Env. It seems that the l4sys ipc functions for the x86 architecture have additional _i386_ part in their name. E.g., l4_i386_ipc_call instead of l4_ipc_call. The result is that, for instance, I can't compile the hello server without renaming the functions. Is that intentional or did I messed up the instalation? Thanks for any help on that, Rafal

2 1

L4 based schedulers
by Aidan Delaney 25 Aug '04

25 Aug '04

Hey all (Güten tag or G'day), How many "full" operating systems use l4? I'm aware of DROPS and am wondering if there is anything else that has a "process" model and scheduler build around l4. Thank you, -- Aidan Delaney email: adelaney(a)cs.may.ie web: http://www.cs.may.ie/~adelaney gpg: http://www.cs.may.ie/~adelaney/public_key.asc

2 1

ANNOUNCE: L4Linux 2.6
by Adam Lackorzynski 20 Aug '04

20 Aug '04

We are happy to announce the release of the latest version of L4Linux based on Linux 2.6. L4Linux is a modified version of Linux running on L4. This version of L4Linux is based on L4Env and on the Fiasco microkernel. It supports the x86 architecture and is available via anonymous CVS. This release is not ready for performance assessments and still awaits improvements in some regions but is nevertheless stable enough to run most of the available Linux programs. For more information refer to the L4Linux-2.6 website: http://os.inf.tu-dresden.de/L4/LinuxOnL4/ For other available L4Linux versions start at http://l4linux.org/ Adam

1 0