我正在尝试将 Raspberry Pi 板与 Buildroot 生成的图像一起使用。我正在使用此处建议的 raspberrypi_defconfig 配置，以生成 rootfs、内核映像和启动系统所需的所有文件。
问题
为了构建实时系统，我需要应用可用于内核 3.5.7、3.10.32 和 3.14 的 Xenomai 内核补丁。可在此处找到可用的 Xenomai 补丁列表。以下是我在图形配置工具中所做的更改：
- 工具链 -> 内核头文件（手动指定的 Linux 版本） -> 3.5.7
- 内核 -> 内核版本（自定义）-> 3.5.7 作为内核版本
- 内核->内核配置（使用defconfig）->（bcmrpi_quick）
- 内核 -> Linux 内核扩展 -> [*] Adeos/Xenomai 实时补丁
- 内核 -> Linux 内核扩展 -> Adeos 补丁文件的路径（正确补丁的相对路径）
在 make 命令之后，我收到以下错误。Buildroot 找不到配置文件
/buildroot-2013.11/output/build/linux-3.5.7/arch/arm/configs/bcmrpi_quick_defconfig'：没有这样的文件或目录
我应该在Kernel -> Defconfig name字段中使用哪个 defconfig 名称？
感谢您对这种情况的帮助。