/* Copyright 2017 NXP */
/* Include file detailing the resource partitioning for ATF */





sc_rsrc_t secure_rsrcs[] = {
  SC_R_MU_1A
};