CML2 can live in userland. It already does; three other projects use it.
The kernel rulebase cannot. The real issue here is whether the CML1
language carries sufficient information to support things like
side-effect deduction. And the answer is "no".
-- <a href="http://www.tuxedo.org/~esr/">Eric S. Raymond</a> - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to firstname.lastname@example.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/