diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/index.html | 5 | ||||
| -rw-r--r-- | docs/tasks.html | 14 |
2 files changed, 2 insertions, 17 deletions
diff --git a/docs/index.html b/docs/index.html index 27841288..b4562b72 100644 --- a/docs/index.html +++ b/docs/index.html @@ -78,9 +78,8 @@ Libreboot has many practical advantages over <a href="https://gnu.org/philosophy/proprietary/">proprietary</a> boot firmware, such as faster boot speeds and better security. You can <a href="gnulinux/index.html">install GNU/Linux with encrypted /boot/</a>, - <a href="http://www.coreboot.org/GRUB2#signed_kernels">verify GPG signatures on your kernel</a>, - run a <a href="http://proteanos.com/">full operating system</a> directly - from the flash chip (planned for a future release), and more. + <a href="http://www.coreboot.org/GRUB2#signed_kernels">verify GPG signatures on your kernel</a>, + put a kernel in the flash chip and more. </p> <h2> diff --git a/docs/tasks.html b/docs/tasks.html index 0659f359..234e99ae 100644 --- a/docs/tasks.html +++ b/docs/tasks.html @@ -342,20 +342,6 @@ </div> <div class="section"> - <h1>Payloads</h1> - <ul> - <li> - Add ProteanOS payload to systems with big enough flash chips. (eg X200/R400). - This page (outdated, but still useful according to the maintainer) has some info: - <a href="http://www.proteanos.com/doc/plat/porting/">http://www.proteanos.com/doc/plat/porting/</a>. - pehjota says that once the port is done, prokit can be modified to generate the entire - distribution as a vmlinuz and initrd.img file. - </li> - </ul> - <p><a href="#pagetop">Back to top of page.</a></p> - </div> - - <div class="section"> <h1>Build system</h1> <ul> <li>Patch the coreboot build system, so that version information is still reliably generated |