<div> <blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">David, a similar thing happened to me once after updating a FC4 system. No kernel would boot. I ended up booting from a resuce disk, editing /etc/selinux/config and setting SELINUX=disabled, then booted the system. This would still leave matters to explore but could at least get your system up and running again. Good luck! T. </blockquote></div>Thanks Thad. I also thought about disabling SElinux. I have subscribed to their mail list. I hope they can help me find a solution. I know it's not easy to understand but at least we can have their explanation. I'll inform you of any solution I get.