FPU в s3c6410 Опции

[pdk]

Есть ли FPU в s3c6410 ?
Сам самсунг пишет про некий VFP но одной строчкой, без подробностей.

[yes]

спасибо, доки более новые, чем я находил.

меня интересует не документация на ARM11 VFP и т.п. стандартные вещи, а на реализацию в этом камне всяческих "дополнительных" фич
питание, тактирование, процедура бута и т.д. то есть требования для разработки платы (в UM это есть, но как-то по первому впечатлению показалось неполным)

из ARM-овской доки интересует TrustZone, но видимо его нету ни у кого...