<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 10 November 2013 17:31, Stéfan van der Walt <span dir="ltr"><<a href="mailto:stefan@sun.ac.za" target="_blank">stefan@sun.ac.za</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":10n" style="overflow:hidden">It might also be good to expose an API to dynamically add kernels after<br>
startup (or at least keep that possibility in mind, so that the file<br>
approach doesn't lead to a design that favors configuring everything<br>
up-front).</div></blockquote></div><br></div><div class="gmail_extra">We can certainly keep it in mind, but I imagine installing a kernel is something people will do relatively rarely. So it may be that you have to manually trigger a rescan of the kernel definition files in order to see new kernel types after launching the server. Depending on how expensive that is, it could be triggered by reloading the dashboard, or it could be a separate handler. To do it totally dynamically, you'd need some kind of interprocess communication running from installers, and that sounds like a bad idea.<br>

<br></div><div class="gmail_extra">Thomas<br></div></div>