as far as i know, not many alef programs were written. the few that were written (like acme) got converted to C. and i dont think alef was used for writing kernel code.

someone please correct me if i am wrong.

thanks

dharani