original_kernel/tools/memory-model/.gitignore