diff --git a/en_US.ISO8859-1/htdocs/news/status/report-2015-01-2015-03.xml b/en_US.ISO8859-1/htdocs/news/status/report-2015-01-2015-03.xml index b4e86540bc..dcfac02d86 100644 --- a/en_US.ISO8859-1/htdocs/news/status/report-2015-01-2015-03.xml +++ b/en_US.ISO8859-1/htdocs/news/status/report-2015-01-2015-03.xml @@ -1932,10 +1932,10 @@ WITHOUT_FORTH=y

The links include a recent conference publication that details the design, implementation, and evaluation of our - prototype nested kernel architecture on top of &os; 9.0. We are - also bringing up a site with instructions on how to get the - source and build the project. There is also a link to a - presentation on the nested kernel.

+ prototype nested kernel architecture on top of &os; 9.0. + There is also a link to a presentation on the nested + kernel, and a website with information about the project and + instructions on how to get the source and build it.

We are very interested in feedback on the design of the nested kernel, and having discussions about how it might get @@ -1945,10 +1945,7 @@ WITHOUT_FORTH=y

We are also hoping to gain additional contributors and interest in the project! The nested kernel has the potential to enhance commodity operating system design, and &os; is a major - operating system in use today which has high impact. The source - code of our research prototype as evaluated for the paper are in - the process of being made available — the website and code - are almost ready but may take another week to complete. + operating system in use today which has high impact. However, the implementation is merely a research prototype and requires significant effort to make production-ready (see the list of tasks). Some of this work is underway during