I am not a programming, but I will like someone that knows about it like o_e_l_e_o to comment about it here. But if everything I have found out about the wallet is true, the secure element should be open source.
The source for everything to do with a Passport is viewable on their GitHub.