Open BMC开发系列(四)增加对peci的支持

PECI模块配置修改

  1. 确认openbmc版本中能get到peci的驱动组件。

安装openbmc 版本V2.9.0,确保linux-aspeed内核版本中有PECI组件。V2.11-dev版本中没有对应的组件。

  1. 增加peci-pcie的组件

修改文件packagegroup-op-apps.bb

Vi  packagegroup-op-apps.bb,增加peci-pcie \这样一行。

3,拷贝peci的库文件到romulus中。

Cd ./meta-ibm/meta-romulus/

mkdir recipes-core

cp meta-intel-openbmc/meta-common/recipes-core/libpeci/

meta-ibm/meta-romulus/recipes-core

4,修改设备树文件

目录路径:

~/openbmc/build/workspace/sources/linux-aspeed/arch/arm/boot/dts/aspeed-bmc-opp-romulus.dts

增加peci的配置

&peci0 {

        status = "okay";

        peci-client@30 {

                compatible = "intel, peci-client";

                reg = <0x30>;

        };

};

如图:

  1. 修改设备驱动开关

5.1 输入页面配置

在命令行输入命令:bitbake -c menuconfig linux-aspeed

这一步如果你是使用的xshell终端,则需要安装xmanage组件,这个会提醒安装,安装完之后重新执行,就能看到界面了。使用方向键进行选择,回车选中,字母Y给选项的括号内打‘*’。

5.2 配置peci

首层目录选中Device Drivers, 找到PECI support,回车选中。

选中后,把对应的peci的都标记*,即都选上。如果你只看一个,别着急,标记*后,下面的自动弹出来。如图,设置完成后保存参数。

5.3 配置KCS和基本配置

首层目录选中Device Drivers,找到character Device,回车选中,按照下图进行配置,配置完成后保存。

  1. 下载peci-peic的代码库到本地

下载命令: devtool modify peci-pcie

到peci-peic目录下,修改CMakeLists.txt 去掉对应编译编译选项:fro-tti,否则会导致编译失败。

7,编译镜像

查看编译前的包

编译:

    export TEMPLATECONF=meta-ibm/meta-romulus/conf

    . openbmc-env

rm -rf build/conf

bitbake obmc-phosphor-image

编译完成后,可以查看编译后的包是否存在libpeci的包。

8,peci的测试

刷上镜像后,在bmc上输入peci_cmd命令,如果命令生效,表明peci的包生效了。

最后:点赞是美德,关注是缘分,收藏是肯定,打赏你随意,你的鼓励是我世界善的一部分,爱你们!

  • 5
    点赞
  • 12
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 3
    评论
BMC(Bounded Model Checking)是一种用于软件验证的形式化技术,可以自动地对给定的软件模型进行验证。它通过将软件模型转化为有限状态机,并生成一个状态转换图来表示这个软件模型。然后,BMC会使用约束求解器来搜索状态转换图中的路径,以找到满足特定性质的路径。这些性质可以是关于软件的正确性、安全性以及其他属性的断言。 Docker是一种开源的容器化平台,可以将应用程序及其依赖项打包成一个独立、可移植的容器。这种容器化的方式使得应用程序在不同的环境中可以快速部署和运行,极大地提高了开发和运维的效率。 将BMC和Docker结合使用,可以将软件验证的过程更加高效和可靠。在传统的软件验证中,使用BMC需要在本地或者服务器上配置特定的环境,而且可能会面临依赖项、版本兼容性等问题。但是,通过将BMC工具和被验证的软件模型打包成Docker容器,可以将验证环境与软件模型一起打包,并在不同的环境中进行部署和运行。 使用BMC Docker可以带来以下好处: 1. 环境一致性:由于使用了Docker容器,可以确保在不同的环境中运行BMC时的环境一致性,避免了由环境差异导致的验证结果不准确问题。 2. 可移植性:使用Docker容器打包BMC工具和软件模型,可以实现在不同的平台和操作系统上进行验证。 3. 提高效率:通过将BMC工具和软件模型打包成容器,可以在需要验证的时候快速部署,并且可以并行地对多个模型进行验证,提高了验证的效率。 4. 便于共享和复用:将BMC工具和软件模型打包成Docker容器后,可以方便地共享和复用,提高了软件验证的可重复性。 综上所述,BMC Docker的使用可以提高软件验证的效率和可靠性,为软件开发人员提供更好的验证手段,同时也推动了软件验证技术的发展。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

大余里

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值