Open Kernel Labs poinformował, że jego mikrojądro OKL4 pracuje na aparatach Neo1973. OKL4 jest bezpośrednim potomkiem NICTA::Pistachio-embedded, a pośrednio pochodzi od L4Ka::Pistachio, i obecnie jest rozwijane na licencji BSD. Najciekawszą cechą OKL4 jest obsługa wirtualizacji na urządzeniach wbudowanych.