Linux Buildroot-使用Xenomai补丁的内核配置

我试图用树莓圆周率板生成的图像 Buildroot。正如建议的那样，我正在使用raspberrypi_defconfig配置来生成rootfs、内核映像和引导系统所需的所有文件

问题

为了构建实时系统，我需要应用适用于内核3.5.7、3.10.32和3.14的Xenomai内核补丁。可以找到可用补丁的列表。以下是我在图形配置工具中所做的更改：

• 工具链->内核标题（手动指定的Linux版本）->3.5.7
• 内核->内核版本（自定义）->3.5.7作为内核版本
• 内核->内核配置（使用defconfig）->（bcmrpi\u quick）
• 内核->Linux内核扩展->Adeos/Xenomai实时补丁
• 内核->Linux内核扩展->Adeos补丁文件的路径（正确补丁的相对路径）

在make命令之后，我得到以下错误。Buildroot找不到配置文件

/buildroot-2013.11/output/build/linux-3.5.7/arch/arm/configs/bcmrpi\u quick\u defconfig”：没有这样的文件或目录

我应该在Kernel->defconfig name字段中使用哪个defconfig名称

我将感谢你在这种情况下的帮助