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@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
_______________________________________________ l4-hackers mailing list l4-hackers@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@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.