HelenOS sources

VESA_INIT_SEGMENT   58 kernel/arch/amd64/include/arch/pm.h #define VESA_INIT_SEGMENT  0x8000
VESA_INIT_SEGMENT   51 kernel/arch/ia32/include/arch/pm.h #define VESA_INIT_SEGMENT  0x8000
HelenOS homepage, sources at GitHub