genodelabs/genode — pull request #522 by alex-ab (2012-11-27 09:13:43+00:00)
Title: Add pointers to sources of used boot loaders

Thanks @steckli for pointing it out.