CinayOS is a 64-bit operating system that was
forked from Linux in order to develop a radically
different approach to concurrency, SMP, and most
other kernel subsystems. Its goals include a new
caching infrastructure, easy software package
management, and an OpenGL accelerated animation
system.