PCIE开发板

看了老师的驱动大全的视频,想找一块视频中老师讲解PCIE的开发板实际上手操作一下。看到老师是用的RK3399的开发板,请问哪里可以买到这样的板子呢?EP是不是也有对应的板子可以购买?最好有链接。谢谢!