/tests/tcg/x86_64/system/

• ../
• boot.S
• kernel.ld