[PATCH] L4Linux Ore fix

[Alexander Warg]

No comment
-- 
Alex
-------------- next part --------------
A non-text attachment was scrubbed...
Name: l4lxore.diff
Type: text/x-patch
Size: 463 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20070129/234e32e5/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20070129/234e32e5/attachment.asc>