Hi, I have updated the 4.0-stabile binary release http://tilde.se/flashboot/ with the latest patch http://www.openbsd.org/errata40.html#m_dup1 Once again, these kernels and images are not tested in any way, please let me know right away if you run into problems. Rickard.