HelenOS sources

mb2addr_t          84 kernel/genarch/include/genarch/multiboot/multiboot2.h 	mb2addr_t start;
mb2addr_t          85 kernel/genarch/include/genarch/multiboot/multiboot2.h 	mb2addr_t end;
HelenOS homepage, sources at GitHub