pub fn push_validation_error(msg: String)
Push a validation error that will make the kernel compilation to fail.
The error can be catched after the kernel is launched.