It is time to fork the linux kernel. Sadly linux has become the latest casualty of war.