https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692016-02-05T09:01:00ZOpen-Source ProjectsKlever - Feature #6613: Write how to deploy Klever at Debian 9https://forge.ispras.ru/issues/6613?journal_id=251912016-02-05T09:01:00ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Assignee</strong> set to <i>Evgeny Novikov</i></li><li><strong>Priority</strong> changed from <i>Normal</i> to <i>High</i></li></ul> Klever - Feature #6613: Write how to deploy Klever at Debian 9https://forge.ispras.ru/issues/6613?journal_id=326412018-03-16T07:31:53ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Subject</strong> changed from <i>Schedulers installation</i> to <i>Write how to deploy Klever at Debian 9</i></li><li><strong>Description</strong> updated (<a title="View differences" href="/journals/32641/diff?detail_id=37024">diff</a>)</li><li><strong>Priority</strong> changed from <i>High</i> to <i>Urgent</i></li><li><strong>Target version</strong> set to <i>1.0</i></li></ul><p>Let's Klever <a class="version" href="https://forge.ispras.ru/versions/248">1.0</a> will provide means for static verification of Linux kernel modules similar to its predecessor <a class="project" href="https://forge.ispras.ru/projects/ldv">Linux Driver Verification</a>.</p> Klever - Feature #6613: Write how to deploy Klever at Debian 9https://forge.ispras.ru/issues/6613?journal_id=326432018-03-16T07:32:11ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocked by</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/8722">Feature #8722</a>: Prepare scripts for automatic deployment on Debian 9</i> added</li></ul> Klever - Feature #6613: Write how to deploy Klever at Debian 9https://forge.ispras.ru/issues/6613?journal_id=326442018-03-16T07:32:22ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Related to</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/8631">Feature #8631</a>: Users need instructions how to deploy Klever within OpenStack clouds</i> added</li></ul> Klever - Feature #6613: Write how to deploy Klever at Debian 9https://forge.ispras.ru/issues/6613?journal_id=331312018-06-05T13:36:49ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Closed</i></li></ul><p>I did this in branch <em>debian-deploy</em> which I merged to master in <a class="changeset" title="Update configuration rather than overwrite it This allows to keep additional options that can be..." href="https://forge.ispras.ru/projects/klever/repository/331/revisions/145d5457b79de240ee3fb48b9987ac4abfb153a4">145d5457</a>.</p>