Information
We are currently investigating an issue with the editor of some pages. Please save your work and avoid to create new pages until this banner is gone.
...
Known to work in the past (Some efforts may be needed to make it work again):
For all machines the expected kernel is 3.10 (Other Kernel versions do work, but are not officially supported).
...