Rock 4 C Plus Add External Power Button

Hi,

I want to add an external power button on pin 35 (GPIO4_A5), which should act like the soldered one.

Am I right that the following part from the kernel device tree overlay should

&rockchip_suspend {
	status = "okay";
	rockchip,sleep-debug-en = <1>;
	rockchip,sleep-mode-config = <
		(0
		| RKPM_SLP_ARMPD
		| RKPM_SLP_PERILPPD
		| RKPM_SLP_DDR_RET
		| RKPM_SLP_PLLPD
		| RKPM_SLP_CENTER_PD
		)
	>;
	rockchip,wakeup-config = <
		(0
		| RKPM_GPIO_WKUP_EN
		| RKPM_PWM_WKUP_EN
		| RKPM_USB_WKUP_EN
		| RKPM_USB_LINESTATE_WKUP_EN
		)
	>;
	rockchip,pwm-regulator-config = <
		(0
		| PWM2_REGULATOR_EN
		)
	>;
	rockchip,power-ctrl =
		<&gpio1 17 GPIO_ACTIVE_HIGH>,
		<&gpio1 14 GPIO_ACTIVE_HIGH>,
		<&gpio0 3 GPIO_ACTIVE_HIGH>;
};

How would I overlay this to add the gpio?

I just want to say what a great idea. I hope this is viable. I put my 4C+ inside a case, so it might be useful.
However, it appears like the power state does not change with power off. My 4C+ boots a few seconds after fresh power is supplied as long as I haven’t fooled around with the power button.

I would be grateful for any guidance on how to implement Power Off from the on-board push button switch.

Anything would be helpful!!!