Mungi 1.2 Release Notes

Bugs and Restrictions:

The following is a list of known places where the code does not match the API.

  • Special objects are NYI
  • Most (all?) ObjCreate info fields are not used
  • ObjNewPager is not implemented
  • ObjCrePdx requires a proper clist and entry points for any call (including delete). Even a delete requires valid clist and entry point list pointers.
  • ObjInfo only gets fields from the object table, it does not set any
  • Capabilities for clists in the APD are never re-validated. Section 3.2 of the API says they are.
  • No library generates reduced rights capabilities via one-way functions (section 3.4)
  • After an ObjResize or ObjDelete the vcache can become inconsistent.

  • The info field for ThreadCreate is only used for stacks at the moment.
  • Environments are not implemented.
  • ThreadDelete is not fully tested
  • ThreadSleep is not fully implemented. There is some code in the user-land stubs to allow THREAD_MYSELF to sleep for multiples of seconds.
  • ThreadResume doesn't work because ThreadSleep doesn't work
  • ThreadWait doesn't work because the thread hierarchy is not tracked properly in the Mungi kernel.
  • ThreadInfo only gets fields out, it does not set them
  • Exception handers are stored per thread currently, not per APD as the API says

  • PageCopy is currently a byte-by-byte copy instead of COW.
  • PageMap is NYI
  • PageUnmap is NYI
  • PageFlush does nothing
  • User-level pagers are not-yet-implemented

  • GetLastError does not work (and it will be removed at a later date)