Powered by

^Z bg crew

Logo by
Luigi Ferrini

Features

• The MyNOS-core microkernel:
  • Process management (creation, termination, scheduling)
  • Multitasking (software task-switch)
  • Simple round-robin scheduler
  • Advanced IPC with shared option and copy-on-write
  • Memory paged
  • Allocate-on-fault
  • Copy-on-write
  • Threads support
  • POSIX layer: it's our wish to have a full POSIX compliance, but at the moment we have a very limited POSIX layer (few syscalls partially implemented), the basis we need to run the OCAML virtual machine. We planned to move the POSIX layer outside the microkernel
  • Linux binary compatibility: MyNOS has the trap 0x80 mapped in a way to be Linux binary compatible (for the few POSIX calls we implemented). This allows to compile code on Linux *for* Linux (like the ocaml virtual machine) and let it run on MyNOS
• The OCAML virtual machine runs on the microkernel
• Keyboard and serial port drivers are implemented as servers running on top of microkernel
• Simple ramdisk read-only filesystem: to test the behavior of the communication syscalls, a simple readonly ramdisk service has been implemented
• The Linux binary compatibility let us to use the dietlibc (smaller than glibc, which depends from Linux kernel source too)

Still missing

• A very good scheduler
• Memory management inside microkernel lacks fast alghoritms, it'd be nice to implement a better memory manager in a server outside the microkernel
• Swapping
• Device drivers: we'd like to have all the device driver and the system services outside the microkernel. We'd like very much to be able to use the OSkit to benefit by the large amount of drivers, filesystems, network layers, etc. it offers
• GUI: we are working on it. As first possibility we'd like to use a simple portable GUI like DEPUI