The Flipper One is finally official, but Flipper isn't selling it yet — they're asking for help to build it
…The same goes for TEE-OS, the secure-world boot stage. RK3576 isn't supported in upstream OP-TEE, and Rockchip's technical reference manual doesn't document the security hardware blocks…