michaelg/dev: links for lava-core