HelenOS sources

KTEXT_DES          48 kernel/arch/amd64/include/arch/pm.h #define KTEXT_DES    1
KTEXT_DES          42 kernel/arch/ia32/include/arch/pm.h #define KTEXT_DES  1
HelenOS homepage, sources at GitHub