It's not, they have meanings and they can't just make up something different and pretend it's a microkernel when it isn't. That doesn't make it bad, it's just not what they are claiming. It also obviously isn't IPC, despite their continued use of the term throughout.

Also their isolation says it's ARM Watchpoint which is a debugger support? Maybe they are trapping unexpected address writes, but that isn't doing much for restricting privileges. It also lists Intel PKS, which Linux already supports/uses as well...