/vsoc_x86_64/

• ../
• BoardConfig.mk
• bootloader.mk
• kernel.mk
• phone
• tv