move linux kernel (dtbImage-microwatt) loading to 0x600000
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 2 Jan 2022 23:29:00 +0000 (23:29 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 2 Jan 2022 23:29:00 +0000 (23:29 +0000)
commitc9cf087ddd9d0d49bab1fa46af7657766d1c6eb2
treea3614c64c688d23bc7c5c257c906e08237eacd29
parent6431824a5f37a3a3d729d407b43f1443de93ff98
move linux kernel (dtbImage-microwatt) loading to 0x600000
and it now works.  takes about 2 hours to get to the login prompt,
but it works.
Makefile
verilator/microwatt-verilator.cpp