pintarOS is a multi-purpose multi-application operating system for smart card