> Last time I checked alef,tgz didn't include the x86 port; shame, I  
> wanted to try it too.

did you happen to look in /sys/src/alef/8?

- erik


Reply via email to