aa94c9ed55
During startup machine.board_id is now determined. The kernel can now at runtime determine how to configure itself and does so. Change-Id: I4f615af9bfa5add219e618b911a51af127591d6a |
||
---|---|---|
.. | ||
archconst.h | ||
archtypes.h | ||
diskparm.h | ||
elf.h | ||
interrupt.h | ||
ipcconst.h | ||
Makefile | ||
memory.h | ||
multiboot.h | ||
partition.h | ||
stackframe.h | ||
vm.h |