/libdde-linux26/mk/defconfig/

• ../
• config.l4check.amd64
• config.l4check.arm-int-l4v2
• config.l4check.x86-586-l4v2
• config.x86