Yes, it appears that OS5 is an operating system built upon Taos Intent (Amiga Anywhere) but since KMOS (Amiga Inc) really only produces bollocks, I wouldn't take their website too seriously.
Also Amiga and AmigaDos really belong to Acer (which bought out Gateway) and Amino/KMOS only possess an exclusive license to it, the name Amiga and whatever IP hasn't fallen into public domain.
KMOS, the current Amiga Inc claims not to be any relation to Amino, the previous Amiga Inc and certainly not responsible for that big pile of unpaid bills and salaries that Amino has. Barring Acer stepping in, Hyperion has the greater claim since their deal came before the KMOS deal, that is to say Amino transfered AmigaDos 4 to Hyperion before it transfered everything else to KMOS. But did Acer (Gateway) have a say in the deals?
Now was the original plan to transfer everything to Hyperon, rename it and hijack it rather than KMOS? This would actually make an interesting sort of video game story...