/kernel/kernel/configs/

• ../
• tiny.config
• xen.config