/boltzgen/kernel/memory/layout/