Is Mbed OS more of macro-kernel like linux or micro-kernel or a mix of the two?

[zhang_sh_wei (Wei Zhang)]

I am trying to understanding MbedOS from the high level, just curious the category. Is it more like macro kernel OS, do the drivers and the file system run in the same address space with the uVisor ? Or maybe a mix of the two which takes advantages from the two architectures? Thanks.