RE: first experiences with l4ka on a real pentium