new compilation warnings, and fixing a call to handle_page_fault.
Attach a file by drag & drop or click to upload
