docker support in fedora

1. How to get kernel images: boot_linux.img
First: you should download source code from: repo init --repo-url  http://github.com/aosp-mirror/tools_repo.git -u http://github.com/rockchip-toybrick/manifest.git -b master -m rk3399pro.xml, which include u-boot, kernel and android8.1 source code.

Second, enter kernel directory, and run: ./make.sh linux

And then, you can get boot_linux.img, which packed with kernel image and dt table resource

Also, you can get Image from arch/arm64/boot, and rk3399pro-prod-linux.dtb from arch/arm64/boot/dts/rockchip/

2. How to update new kernel, there are two ways:

1) mount boot_linux partition to /mnt, and copy Image & dtb to /mnt/extlinux/
    ps: run cat /proc/cmdline to find which is boot_linux partition

2) Downlaod flash tool from https://rockchips-my.sharepoint. ... 0JWEl1cszw?e=tuVaPd, select boot_linux and download boot_linux.img to board