Re: [TF-A] Design proposal: firmware debugfs interface