Illinux: a 32-bit linux based operating system