I gave it a try many years ago and its speed was jawdropping. Too bad that a port to ARM would require a complete rewrite; those cheaper lower end *Pi-like embedded boards seem just the perfect platforms to take advantage of such a small and fast OS.