K210到底支不支持MMU？

我有一款SiPeed MAIX DOCK开发板，搭载了K210芯片。想要简单的移植一个linux系统使用，但是网络上只有NOMMU linux的移植，甚至有个博客写明了k210不支持mmu。我自己曾经用这个开发板参加过操作系统实现的比赛，比赛的时候是可以正常使用sv39分页机制的。
所以到底是个什么情况？（虽然这个问题有些蠢，但是我确实没在K210的Datasheet和SiPeed MAIX DOCK的文档中看到相应内容）
https://www.bookstack.cn/read/rCore-Tutorial-Book-v3-zh/7a8976b85552cbac.md
https://blog.csdn.net/T_T233333333/article/details/117993867