[EMSCB] L4Linux + IPC

[Oskar Senft]

Hi!

> Mmmh, how old is your fiasco kernel?
> Can you try your stuff with
> the current fiasco kernel
> and an older kernel (with the tag 'before_merge_new_ipc_path').

I've just sent an example program that does *not* run with the current
kernel (yesterday's CVS checkout).

Please take a look at that program.

Regards
Oskar.


> 
> rene
> 
>> Is this a problem with our settings for L4Env / L4Linux? Or could it be
>> a bug in L4Linux?
>>
>> Do you have a test program that should run?
>>
>> Regards
>> Oskar.
>>
>> _______________________________________________
>> l4-hackers mailing list
>> l4-hackers at os.inf.tu-dresden.de
>> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers


-- 
Sirrix AG security technologies - http://www.sirrix.com
Oskar Senft  eMail: o.senft at sirrix.com
Tel +49 (681) 936 251 - 119   Fax +49 (681) 936 251 - 500
get public key from keyserver
Fingerprint 6FC6 3E44 233F 7F4B 33C7  A8D0 2EDA F3BA B5A3 0BA4

This message may contain confidential and/or privileged information. If
you are not the addressee, you must not use, copy, disclose or take any
action based on this message or any information herein. If you have
received this message in error, please advise the sender immediately by
reply e-mail and delete this message.