单项选择题

A. The external dump device is full. 
B. The dump device was set to /dev/hd7 before the dump happened. 
C. The boot failed while copying the dump from paging space to a file. 
D. The dump device was not set to a paging device before the dump happened.