LiberSystem – A capability-based microkernel OS written in Rust (libersystem.com)

There seem to be a growing number of Rust based microkernel systems (Redox, Robigalia, Tock, Xous, etc.). Anyone knows what's the core benefit of LiberSystem in comparison? The contact address is funny:

LiberSoft

Liberty Street 1

Liberty City

LL-00001 Liberland

ID: LLC230002