I only support building with the SDK, not the WDK/DDK.
Adding support for WDK would be very easy, since there is only the one
little problem I reported you.
Great ! Olivetti printers use a 4Kc MIPS processor (not sure if this
is a R1 architecture).
This CPU doesn't have a hardware FPU. The kernel emulates that,
but it'll be dead slow.
That's right, my bad. No chance to have a fast Lua implementation on
such a platform.
A little question to be sure: Lua supports defining lua_Number as
integers, but LuaJIT doesn't (or does it)?