Table of Contents

Edge1 Upgrade Linux Kernel

Introduction

This documentation will introduce how to upgrade Linux Kernel manually.

Upgrade

Copy the kernel, dtb and header debian packages to the board and install them directly.

The Linux debian packages as below:

  • linux-dtb-rockchip-4.4_xxxx_arm64.deb
  • linux-image-rockchip-4.4_xxxx_arm64.deb
  • linux-headers-rockchip-4.4_xxx_arm64.deb

xxxx is version number, e.g. 1.0.11.

$ sudo dpkg -i linux-dtb-rockchip-4.4_xxxx_arm64.deb
$ sudo dpkg -i linux-image-rockchip-4.4_xxxx_arm64.deb
$ sudo dpkg -i linux-headers-rockchip-4.4_xxx_arm64.deb
$ sync
$ sudo reboot