Birthday celebrations 2 days ago and S30 successfully generated the code from its own kernel at 11.45 today.
The booting process required a little adjustment to the kernel but its now very simple. It remains
to install S30 under its own generated KLambda code and test the result to see that it conforms to spec.
I'll reserve this for later.
Mark