--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on June 2008 ---
We're exploring caduceus for the Coyotos kernel, and this led us quickly to frama-c. The notes on the jessie plugin indicate that jessie does not support unions, pointers to functions, casts, or variadic functions. These are fairly severe limitations for real-world use. Which list is the appropriate place to ask questions about jessie? Thank you. Jonathan