Module install 

INSTALL (CLA 84, INS E6) — PDD §5.4/§5.4a/§5.6/§5.7, GPCS §11.5.

P1 variants: 0x02 for Load (§11.5.2.1) and 0x0C Install + Make Selectable (§11.5.2.3). Length-prefixed fields: Lf|ELF_AID Lm|Module_AID La|Instance_AID Lp|Privileges Li|Params Lt|Token. 'C9' install params mandatory even if empty (C9 00) — supplied by the caller in install_params (see install_for_install_make_selectable).

Enums

PrivLen

Encoding length for the GP Privileges field (GPCS v2.3.1 §11.1.2, Tables 11-7..11-9). The field may legally be 1 byte (legacy / pre-2.2) or 3 bytes (the 2.2+ extended encoding); byte 1 carries the core privileges (Security Domain 0x80, Card Lock, Card Terminate, …) and bytes 2–3 carry the 2.2+ extended privileges (Trusted Path 0x80 in byte 2, …).

Functions

install_for_install_make_selectable

INSTALL [for Install and Make Selectable] (P1 0x0C). Shared by §5.4 and §5.7.

install_for_load

INSTALL [for Load] (P1 0x02, GPCS §11.5.2.1).