Kernel: development (not optimized), sequential, 32-bit address space
----
<<< Warning >>>
Repository missing process model (SAPLic_aloha_tx)
T (0), EV (-), MOD (NONE), PROC (sim_load_repos_prmatch)
----
<<< Warning >>>
Repository missing process model (SAPLic_cct_rx)
T (0), EV (-), MOD (NONE), PROC (sim_load_repos_prmatch)
----
<<< Program Abort >>>
The set of models necessary for running the simulation is incomplete.
Check that all the 'repositories' attributes are complete.
T (0), EV (-), MOD (NONE), PROC (sim_load_repos_load)
----