This reverts commit 6100c90ef5.
Reason for revert: rockpi4 has DEVTMPFS enabled and GKI doesn't
Bug: 258841346
Change-Id: Icefb1bb4cf39004234513d307e385b04cb76e51d
Build the GKI //common:kernel_aarch64, then
build rockpi4 modules on top of it.
As a side effect of this change, rockpi4 will no longer
be able to be built with build.sh because it won't produce
vmlinux, etc..
Test: TH
Test: bazel run //common:rockpi4_dist
Bug: 258841346
Change-Id: I88989a265d0a90daddc85dd45a8736f942350522
Signed-off-by: Yifan Hong <elsk@google.com>
Add support for the Rock Pi 4 board downstream of GKI. This removes a
bitrotting custom defconfig and replaces it with a fragment based on
the GKI. Add the build.config for build automation purposes.
This configuration is not yet GKI compatible. Some options must be set
that are not GKI compliant:
CONFIG_ARCH_ROCKCHIP=y
CONFIG_COMMON_CLK_ROCKCHIP=y
CONFIG_DEVTMPFS=y
CONFIG_ROCKCHIP_GRF=y
CONFIG_ROCKCHIP_IOMMU=y
CONFIG_ROCKCHIP_MBOX=y
CONFIG_ROCKCHIP_PM_DOMAINS=y
CONFIG_ROCKCHIP_TIMER=y
Bug: 183963484
Change-Id: Id7376d6d377f453a3fe2c215d10d0424550de1bc
Signed-off-by: Alistair Delva <adelva@google.com>
