Files
kernel/arch/score/boot
…
..
…