FreeOS S.Ha.R.K All

Name S.Ha.R.K Official site http://shark.sssup.it Download from http://shark.sssup.it/download.html License GPL FAQ Description S.Ha.R.K. is a dynamic configurable kernel architecture designed for supporting hard, sot, and non real-time applications with interchangeable scheduling algorithms. The kernel is fully modular in terms of scheduling policies, aperiodic servers, and concurrency control protocols, which typically are not modular in traditional operating systems. Modularity is achieved by partitioning the system activities between a generic kernel and a set of modules, which can be registered at initialization time to configure the kernel according to specific application requirements. The major benefit of the proposed kernel architecture is that an application can be developed independently from a particular system configuration, so that new modules can be added or replaced in the same application, to evaluate the effects of specific scheduling policies in terms of predictability, overhead, and performance. Development Status This project is very active.