小编Max*_* P.的帖子

我有一个16位的MPU,它与x86_16的大小不同size_t,ptrdiff_t等等.有人能给我详细说明如何为我的MPU定制Frama-C中的机器依赖性吗？