我'm trying to use a Raspberry Pi board with the images generated by Buildroot. I'm使用raspberrypi_defconfig配置，如here所示，以生成rootfs，内核映像和引导系统所需的所有文件 .
The problem
为了构建实时系统，我需要应用可用于内核3.5.7,3.10.32和3.14的Xenomai内核补丁 . 可以找到Xenomai补丁的可用列表here . 以下是我在图形配置工具中所做的更改：
-
工具链 - >内核头文件（手动指定的Linux版本） - > 3.5.7
-
内核 - >内核版本（自定义） - > 3.5.7作为内核版本
-
内核 - > Kernel configutation (Using a defconfig) -> (bcmrpi_quick ）
-
Kernel - > Linux Kernel Extentions - > [*] Adeos / Xenomai实时补丁
-
Kernel - > Linux Kernel Extentions - > Adeos补丁文件的路径（正确补丁的相对路径）
make命令后，我得到以下错误 . Buildroot找不到配置文件
/buildroot-2013.11/output/build/linux-3.5.7/arch/arm/configs/bcmrpi_quick_defconfig'：没有这样的文件或目录
我应该在内核 - > Defconfig名称字段中使用哪个defconfig名称？
我将非常感谢你对这种情况的帮助 .