unswグループは後に拠点を(オーストラリアの公的情報通信分野研究機関)に移しl4ka::pistachioから分岐した新しいl4、nicta::l4-embeddedを開発した。