BUGS

Here are the known kernel bugs:

Previous bugs now fixed: