Re: [seL4] Strange Behevior with cma34cr.

2018-02-07 Thread Peter.Chubb
Dan> My name is Dan DaCosta and I am working with Rockwell on a Dan> smaccms transition project referred to as HTA. The manifest Dan> associated with this project can be found here: Dan> https://github.com/smaccm/hta This manifest is mostly concerned Dan> with targeting the cma34cr board. Gcc 7

[seL4] Strange Behevior with cma34cr.

2018-02-07 Thread Dan DaCosta
To Whom It May Concern: My name is Dan DaCosta and I am working with Rockwell on a smaccms transition project referred to as HTA. The manifest associated with this project can be found here: https://github.com/smaccm/hta This manifest is mostly concerned with targeting the cma34cr board. When