acrn-kernel/tools/memory-model/.gitignore