Propose and support detailed EMG interface categories specifications for non-module programs
Interface categories specifications contain containers, resources and callbacks. For other than modules Linux kernel files content of such specifications should be different. Even if no interfaces has been found, EMG should proceed with generating environment model. For instance, kernel function models can be only added.
- Priority changed from Normal to Urgent
- Target version set to 2.0
Implemented in 8066-abstract-translator.
- Status changed from New to Resolved
Instead. I implemented a chain of generators to support various combinations of generated models. For userspace programs there is one to call functions by a provided list or just calling export ones.
- Status changed from Resolved to Closed
Branch klever-2.0 passed all tests and I merged it to master in 72be796e3 marked as v2.0rc1.
Also available in: Atom