4d37cc2dc3
The core device API performs extra housekeeping bits that are missing
from directly calling cpu_up/down.
See commit
|
||
---|---|---|
.. | ||
core_32.c | ||
core_64.c | ||
core.c | ||
crash.c | ||
elf_64.c | ||
file_load.c | ||
ima.c | ||
Makefile | ||
relocate_32.S |