Can the boot module be no_core?
hawkw opened this issue · 1 comments
hawkw commented
It would be nice to not have to link a 32-bit libcore into the kernel object (which I'm assuming happens?)
hawkw commented
Never mind, we're using convert
and iterators and it would be a pain to write without them, and strip
ping the kernel binary should remove all the 32-bit core we're not using.