No worries!
Main reason is that the C API makes use of a lot of conditional compilation options for different seL4 build configurations that don’t map nicely to Rust, i.e. there is not one fixed C API. The discussion in this thread has more details on that and what the plan is to make this a bit less painful in Rust.
(The C API is itself also generated, but that is not the real reason)