Infante to inicjatywa firm i instytucji portugalskich współfinansowana z funduszy unijnych. Start satelity zaplanowano na koniec 2020 r.

Jednym z elementów ładunku satelity Infante jest opracowany przez GMV hyperwizor AIR, krytyczne dla bezpieczeństwa rozwiązanie oparte na paradagmacie TSP (Time and Space Partitioning), pozwalające na podział zasobów obliczeniowych pomiędzy partycje pamięci.

Hyperwizor to program umożliwiający kilku systemom operacyjnym pracę na jednym fizycznym urządzeniu, przy czym są one od siebie odizolowane, tak że ewentualna awaria jednego z nich nie zagraża powodzeniu całej misji. AIR pozwala na uruchamianie i działanie aplikacji w odizolowanych otoczeniach a jednocześnie umożliwia im dostęp do wspólnych zasobów takich jak procesor, pamięć i warstwy komunikacyjne.

AIR to rozwiązanie TSP opracowane prze GMV dla Europejskiej Agencji Kosmicznej w celu zastosowania w przestrzeni kosmicznej, stanowiące udoskonaloną wersję RTEMS (Real-Time Executive for Multiprocessor Systems).