linux为rk3399的edk2安装hdmi驱动

为 RK3399 安装 EDK2 HDMI 驱动的步骤如下：

1. 下载 EDK2 源码：

$ git clone https://github.com/tianocore/edk2.git

2. 安装必要的依赖：

$ sudo apt-get install build-essential uuid-dev iasl gcc-aarch64-linux-gnu nasm acpica-tools

3. 进入 edk2 源码目录，设置环境变量：

$ cd edk2
$ source edksetup.sh BaseTools

4. 下载 HDMI 驱动源码：

$ git clone https://github.com/tianocore/edk2-platforms.git

5. 修改 HDMI 驱动配置文件：

进入 edk2-platforms/Platform/Rockchip/Rk3399/DramInit/Board/evb-rk3399/Drivers/Video/HdmiDxe/ 目录，打开 HdmiDxe.inf 文件，将以下内容注释：

[PcdsDynamicDefault.common]
#EDKII_HDMI_DEBUG_MSG_ENABLE|FALSE

然后在 [PcdsDynamicDefault.common] 节点下添加以下内容：

[PcdsFixedAtBuild.common]
  gEfiMdeModulePkgTokenSpaceGuid.PcdVideoHdmiDefaultMode = 0x87

保存并退出文件。

6. 编译驱动：

$ build -a AARCH64 -t GCC5 -p edk2-platforms/Platform/Rockchip/Rk3399/DramInit/Board/evb-rk3399/evb-rk3399.dsc

7. 将编译生成的 HDMI 驱动文件复制到 Linux 系统中：

$ cp Build/evb-rk3399-AARCH64/DEBUG_GCC5/FV/RK3399_DramInit.fd /boot/

8. 配置 GRUB 引导：

编辑 /etc/default/grub 文件，在 GRUB_CMDLINE_LINUX_DEFAULT 变量中添加以下内容：

video=HDMI-A-1:1920x1080@60

保存并退出，然后运行以下命令更新 GRUB 配置：

$ sudo update-grub

9. 重启系统，启动时 HDMI 驱动将自动加载。

注意：以上步骤仅供参考，具体操作可能因不同的系统环境而略有差异。