1. 红米k20pro开发者选项的位置: 红米k20pro开发者选项位于系统设置中。首先，打开手机的设置，可以通过桌面上的设置图标或者下拉通知栏后点击设置来进入设置界面。

2. 进入开发者选项: 在设置界面中，向下滑动直到找到“系统和设备”或者“关于手机”的选项，然后点击进入该选项。

3. 查找开发者选项: 在“系统和设备”或者“关于手机”的界面中，找到“版本号”或者“MIUI版本”等类似的选项。请注意，不同的手机型号可能会有不同的标签和位置。

4. 进入开发者选项: 在找到版本号或者MIUI版本后，连续点击多次该选项，通常需要点击7次或者更多次。在每次点击后，会有一个倒计时提示，直到开启开发者选项。

5. 开启开发者选项: 在点击版本号或者MIUI版本多次后，会收到一条开发者模式已启用的提示。此时，回到设置界面，即可看到开发者选项已经出现在设置菜单中。

总结: 红米k20pro开发者选项位于系统设置中，可以通过点击多次版本号或者MIUI版本来启用开发者选项。开发者选项提供了一些高级的系统调节和调试功能，适合开发者和高级用户使用。