[Bean 2]

Hey guys, my gf has been having problems with her computer. When it started a black screen would come up saying "windows could not start because the file is missing or corrupt: <windows root>\system32\ ntoskrnl.exe". I tried going into recovery but when i would try to copy the files back I would get errors. So i tried reformatting and after the reformat was completed i get this message on a black screen: "missing file <windows root>\system32\hal.dll." Any help would be appreciated thanks.