08b5f8f61c
this printf() will make the start of CPU1 fail. I have not understood the reason yet. When doing DEBUG is effective, the vender of all PCI devices will be displayed again. At this time, printf() doesn't support the format like "%08x". |
||
---|---|---|
.. | ||
bebox | ||
compile | ||
conf | ||
include | ||
isa | ||
pci | ||
stand | ||
Makefile |