diff --git a/tools/vm/.gitignore b/tools/vm/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..44f095fa2604307bace06c0d529dda6521e57456 --- /dev/null +++ b/tools/vm/.gitignore @@ -0,0 +1,2 @@ +slabinfo +page-types