gparmer/tinyboot — pull request #2 by kraetzja (2012-11-26 15:13:59+00:00)
Title: cleaned up higher half

updated linker.ld and loader.s to boot kernel into 0xC0000000 virtual
address ('higher half')