Repositories list

• Gaia

  Public
  Exokernel/framework intended to ease the development of pure user space OS kernels

  C

  •4•2•0•0•Updated Feb 22, 2012Feb 22, 2012

• P9sh

  Public
  CLI shell for Plan 9 operating system

  C

  •1•1•0•0•Updated Dec 23, 2011Dec 23, 2011