in general, kernel libraries will be marked with "k" in the beginning.
comments for study Also made a makefile that can build and run the thing. Current run method is directly from QEMU - but the makefile will later make an image with a given bootloader.