我正在尝试使用Raspberry Pi板生成的图像 Buildroot里面。我正在使用raspberrypi_defconfig配置，如建议here，以生成rootfs，内核映像和引导系统所需的所有文件。
问题
为了构建实时系统，我需要应用可用于内核3.5.7,3.10.32和3.14的Xenomai内核补丁。可以找到可用的Xenomai补丁列表here。以下是我在图形配置工具中所做的更改：
make命令后，我收到以下错误。 Buildroot找不到配置文件
/buildroot-2013.11/output/build/linux-3.5.7/arch/arm/configs/bcmrpi_quick_defconfig'：没有这样的文件或目录
我应该在内核中使用哪个defconfig名称 - ＆gt; Defconfig名称字段？
感谢您对这种情况的帮助。