{ lib
, pkgs
, config
, ...
}: {
  imports = [
    ../.
    ../../rockchip
  ];

  config = {
    hardware = {
      radxa.enable = true;
      rockchip = {
        rk3399.enable = true;
        platformFirmware = lib.mkDefault pkgs.ubootRockPi4;
      };
    };
  };
}