From 8f53fcc0c71f90da343143a85cabe57a8d1de709 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 30 Nov 2016 13:08:57 +0100
Subject: [PATCH] Use https in news items

---
 doc/news.txt | 186 +++++++++++++++++++++++++--------------------------
 1 file changed, 93 insertions(+), 93 deletions(-)

diff --git a/doc/news.txt b/doc/news.txt
index 0122808101..7e0802d79e 100644
--- a/doc/news.txt
+++ b/doc/news.txt
@@ -33,7 +33,7 @@ smart cards, kernel improvements of the NOVA hypervisor, updated VirtualBox
 versions, and a virtual file system for generating time-based passwords.
 
 The topics are covered in more detail by the
-[http:/documentation/release-notes/16.11 - release documentation of version 16.11...]
+[https:/documentation/release-notes/16.11 - release documentation of version 16.11...]
 
 
 Genode OS Framework release 16.08 | 2016-08-31
@@ -67,7 +67,7 @@ Version 16.08 is further complemented with added board support for devices
 based on Xilinx Zynq, including drivers for GPIO, video DMA, SD cards, and I2C.
 
 These and many more topics are covered in detail by the
-[http:/documentation/release-notes/16.08 - release documentation of version 16.08...]
+[https:/documentation/release-notes/16.08 - release documentation of version 16.08...]
 
 
 Genode OS Framework release 16.05 | 2016-05-27
@@ -101,7 +101,7 @@ features accessible, and allows the use of the GNU debugger with the
 64-bit version of the NOVA hypervisor.
 
 The complete story behind these and many more changes is covered by the
-[http:/documentation/release-notes/16.05 - release documentation of version 16.05...]
+[https:/documentation/release-notes/16.05 - release documentation of version 16.05...]
 
 
 How Genode came to RISC-V | 2016-03-22
@@ -111,9 +111,9 @@ How Genode came to RISC-V | 2016-03-22
 | the RISC-V hardware architecture.
 
 The experience report
-[http:/documentation/articles/riscv - How Genode came to RISC-V] complements
+[https:/documentation/articles/riscv - How Genode came to RISC-V] complements
 our recent
-[http:/documentation/release-notes/16.02#New_support_for_the_RISC-V_CPU_architecture - announcement]
+[https:/documentation/release-notes/16.02#New_support_for_the_RISC-V_CPU_architecture - announcement]
 about Genode's added RISC-V support with in-depth technical information.
 It briefly introduces the parts of the instruction set architecture (ISA) that
 were most relevant for the porting work, presents various challenges we
@@ -122,7 +122,7 @@ encountered, and explains how we overcame them.
 The article is written with two target audiences in mind: People interested in
 practical experiences with RISC-V, and developers who aspire to port Genode
 to new CPU architectures.
-[http:/documentation/articles/riscv - Read the article...]
+[https:/documentation/articles/riscv - Read the article...]
 
 
 Genode OS Framework release 16.02 | 2016-02-26
@@ -150,7 +150,7 @@ targeted by Genode's automation tools in the same uniform way as all the other
 base platforms.
 
 An in-depth coverage of these and many more improvements is provided by the
-[http:/documentation/release-notes/16.02 - release documentation of version 16.02...]
+[https:/documentation/release-notes/16.02 - release documentation of version 16.02...]
 
 
 Road Map for 2016 | 2016-01-15
@@ -166,7 +166,7 @@ appealing to two target audiences, namely system builders and a narrow group
 of privacy-considerate end users. Hence, the overall theme of 2016 is to
 help a growing community to leverage the full potential of Genode.
 
-The new road map is available at the [http:/about/road-map - road-map page].
+The new road map is available at the [https:/about/road-map - road-map page].
 
 
 Genode at FOSDEM 2016 | 2016-01-12
@@ -258,7 +258,7 @@ the USB Armory received a lot of attention, and a new VFS server makes
 Genode's file-system infrastructure much more flexible.
 
 These and many more topics are covered in detail by the
-[http:/documentation/release-notes/15.11 - release documentation of version 15.11...]
+[https:/documentation/release-notes/15.11 - release documentation of version 15.11...]
 
 
 Genode OS Framework release 15.08 | 2015-08-31
@@ -292,7 +292,7 @@ enforced by Muen represent two lines of defense for protecting
 security-critical system functions from untrusted components.
 
 More details about all the improvements are provided by the
-[http:/documentation/release-notes/15.08 - release documentation of version 15.08...]
+[https:/documentation/release-notes/15.08 - release documentation of version 15.08...]
 
 
 Genode OS Framework release 15.05 | 2015-05-26
@@ -332,7 +332,7 @@ added platform support for i.MX6, and support for message-signalled interrupts
 on x86-based machines.
 
 A detailed description of all the improvements is provided by the
-[http:/documentation/release-notes/15.05 - release documentation of version 15.05...]
+[https:/documentation/release-notes/15.05 - release documentation of version 15.05...]
 
 
 Genode's core running on the seL4 kernel | 2015-05-18
@@ -348,10 +348,10 @@ into both seL4 and Genode. Among the many challenges that had to be overcome
 are the management of capabilities and memory, the synchronous RPC
 communication between components, and the handling of page faults. As result,
 simple Genode system scenarios can be readily executed on top of the seL4 kernel.
-[http://genode.org/documentation/articles/sel4_part_3 - Read the article...]
+[https://genode.org/documentation/articles/sel4_part_3 - Read the article...]
 
 All the steps described in the article can be followed in the
-topic branch [http://github.com/nfeske/genode/commits/sel4] of the ongoing
+topic branch [https://github.com/nfeske/genode/commits/sel4] of the ongoing
 development. Furthermore, the principle support for seL4 will be featured
 in the upcoming Genode release 15.05.
 
@@ -364,14 +364,14 @@ An in-depth look into the ARM virtualization extensions | 2015-03-12
 | a microhypervisor.
 
 With the recently published
-[http:/documentation/release-notes/15.02 - version 15.02], Genode received
+[https:/documentation/release-notes/15.02 - version 15.02], Genode received
 support for ARM's virtualization extensions. While conducting this line
 of work during the year of 2014, we took the chance to thoroughly document
 the experience. The article "An in-depth look into the ARM virtualization
 extensions" presents the overall virtualization architecture and goes into
 detail about the virtualization of memory, CPU, interrupts, and time.
 Furthermore, it covers a series of experiments with I/O protection mechanisms.
-[http:/documentation/articles/arm_virtualization - Read the article...]
+[https:/documentation/articles/arm_virtualization - Read the article...]
 
 
 Exercising the seL4 kernel interface | 2015-03-10
@@ -387,10 +387,10 @@ It covers synchronous inter-process communication between threads, the
 delegation of capabilities, and the management of virtual memory.
 Apart from presenting hands-on experience with using the kernel, it identifies
 potential challenges for using it as Genode base platform.
-[http://genode.org/documentation/articles/sel4_part_2 - Read the article...]
+[https://genode.org/documentation/articles/sel4_part_2 - Read the article...]
 
 All the steps described in the article can be followed in the
-topic branch [http://github.com/nfeske/genode/commits/sel4] of the ongoing
+topic branch [https://github.com/nfeske/genode/commits/sel4] of the ongoing
 development.
 
 
@@ -406,7 +406,7 @@ Most of the previous releases were motivated by our desire for features that
 we deemed as fundamentally important to use Genode as a general-purpose
 system. Now that we have reached most of the feature set that we longed after,
 the project adjusts its focus. According to our recently published
-[http://genode.org/about/road-map - roadmap], the underlying theme of the
+[https://genode.org/about/road-map - roadmap], the underlying theme of the
 current development shifted towards the cultivation of the existing feature
 set rather than the introduction of new functionality. The current release
 perfectly reflects this change. It introduces a highly modular tool kit for
@@ -428,7 +428,7 @@ support, our kernel's scheduler got refined to take IPC relationships into
 account while additionally gaining support for the USB Armory hardware platform.
 
 These and many more improvements are covered in more detail by the
-[http:/documentation/release-notes/15.02 - release documentation of version 15.02...]
+[https:/documentation/release-notes/15.02 - release documentation of version 15.02...]
 
 
 Road Map for 2015 | 2015-01-14
@@ -448,7 +448,7 @@ the consolidation and cultivation of the existing feature set.
 Still, there will be room for new developments, i.e., the use of
 Genode on the seL4 kernel.
 
-The new road map is available at [http://genode.org/about/road-map].
+The new road map is available at [https://genode.org/about/road-map].
 
 
 Genode at FOSDEM 2015 | 2015-01-14
@@ -501,7 +501,7 @@ Pi, and new GUI components.
 
 The story behind our work on the WiFi stack as well as detailed information
 about all the other improvements are provided by the
-[http:/documentation/release-notes/14.11 - release documentation of version 14.11...]
+[https:/documentation/release-notes/14.11 - release documentation of version 14.11...]
 
 
 Article about building a simple seL4 root task | 2014-10-30
@@ -527,10 +527,10 @@ to create a minimalistic root task that runs on the kernel. It is full of
 hands-on information about the methodology of such a porting effort and
 describes the experience with using the kernel from the perspective of
 someone with no prior association with the seL4 project.
-[http://genode.org/documentation/articles/sel4_part_1 - Read the article...]
+[https://genode.org/documentation/articles/sel4_part_1 - Read the article...]
 
 All the steps described in the article can be followed in the
-topic branch [http://github.com/nfeske/genode/commits/sel4] of the current
+topic branch [https://github.com/nfeske/genode/commits/sel4] of the current
 development.
 
 
@@ -561,7 +561,7 @@ of Genode has been updated to Linux 3.14.5, we improved the integration of
 Qt5, and the performance of our custom kernel for ARM hardware got a boost.
 
 More background information about all the new features and improvements is provided in the
-[http:/documentation/release-notes/14.08 - release documentation of version 14.08...]
+[https:/documentation/release-notes/14.08 - release documentation of version 14.08...]
 
 
 Genode OS Framework release 14.05 | 2014-05-29
@@ -592,7 +592,7 @@ based on NetBSD's cryptographic device driver and enabled USB 3.0 on
 x86-based platforms.
 
 More information about all the changes is provided in our detailed
-[http:/documentation/release-notes/14.05 - release documentation of version 14.05...]
+[https:/documentation/release-notes/14.05 - release documentation of version 14.05...]
 
 
 
@@ -610,7 +610,7 @@ experiments with ARM's security extensions. Our line of work ultimately led to
 a demonstrable prototype where Genode is used as secure OS behind the back of
 Android running on a FreeScale i.MX53 SABRE tablet. We share our experience
 (and of course the full source code) in the form of the article
-[http:/documentation/articles/trustzone - An Exploration of ARM TrustZone Technology...]
+[https:/documentation/articles/trustzone - An Exploration of ARM TrustZone Technology...]
 
 
 Genode OS Framework release 14.02 | 2014-02-28
@@ -654,7 +654,7 @@ over the place, for example unified interfaces for graphics, support for POSIX
 signals in the Noux runtime for Unix programs, and a new pseudo file system
 for the interactive exploration and tracing of Genode's process tree. These
 and more topics are covered by the detailed
-[http:/documentation/release-notes/14.02 - release documentation of version 14.02...]
+[https:/documentation/release-notes/14.02 - release documentation of version 14.02...]
 
 
 Slides and videos of our FOSDEM talks | 2014-02-10
@@ -665,13 +665,13 @@ Slides and videos of our FOSDEM talks | 2014-02-10
 | overview of the project's efforts towards general-purpose computing.
 
 The slides of both talks are available at the
-[http://genode.org/about/publications - publications section].
+[https://genode.org/about/publications - publications section].
 Both talks feature several live demonstrations. E.g., Stefan presented
 Genode running besides Android on an i.MX tablet. Norman showed off
 VirtualBox on Genode among several other demos.
 
 For the latter talk, there is a
-[http://video.fosdem.org/2014/H2214/Sunday/Genode_as_generalpurpose_OS_progress_report_and_demonstration.webm - video recording]
+[https://video.fosdem.org/2014/H2214/Sunday/Genode_as_generalpurpose_OS_progress_report_and_demonstration.webm - video recording]
 available. A video for Stefan's talk will follow soon. Thanks to the video
 crew at FOSDEM for their great work!
 
@@ -687,7 +687,7 @@ DosBox as a practical example to motivate the steps needed to port an existing
 application to Genode. Furthermore, it gives valuable insights into
 time-tested methodologies of porting libraries and device drivers.
 
-[http://genode.org/documentation/developer-resources/porting - Genode Porting Guide...]
+[https://genode.org/documentation/developer-resources/porting - Genode Porting Guide...]
 
 
 Road Map 2014 | 2014-01-17
@@ -706,7 +706,7 @@ various topics include for example virtualization using ARM's virtualization
 extensions, a novel user-interface, storage, VirtualBox on NOVA, and
 3rd-party source-code package management.
 
-[http://genode.org/about/road-map - Please refer to the official road-map for more details...]
+[https://genode.org/about/road-map - Please refer to the official road-map for more details...]
 
 
 FOSDEM 2014 | 2014-01-06
@@ -767,7 +767,7 @@ Among the many further improvements are the switch to C++11, new protocols
 for enabling dynamic resource balancing, new terminal services, and support
 for ARM TrustZone on i.MX53.
 For the full story, please refer to the detailed
-[http:/documentation/release-notes/13.11 - release documentation of version 13.11...]
+[https:/documentation/release-notes/13.11 - release documentation of version 13.11...]
 
 
 Genode OS Framework release 13.08 | 2013-08-15
@@ -808,7 +808,7 @@ kernel and L4Linux, and introduces measures for verifying the integrity of
 downloaded 3rd-party source codes.
 
 Those and many more topics are presented in detail in the
-[http:/documentation/release-notes/13.08 - release documentation of version 13.08...]
+[https:/documentation/release-notes/13.08 - release documentation of version 13.08...]
 
 
 Genode OS Framework release 13.05 | 2013-05-30
@@ -840,7 +840,7 @@ interface for managing Genode subsystems, and the addition of Linux/ARM as
 Genode base platform.
 
 The full story behind these and many more changes is detailed in the
-[http:/documentation/release-notes/13.05 - release notes of version 13.05...]
+[https:/documentation/release-notes/13.05 - release notes of version 13.05...]
 
 
 Genode OS Framework release 13.02 | 2013-02-28
@@ -871,7 +871,7 @@ completely redesigned audio interface, added file-system notification
 capabilities, and a new fault-detection mechanism.
 
 These and many more improvements are described in elaborative detail in the
-[http:/documentation/release-notes/13.02 - release notes of version 13.02...]
+[https:/documentation/release-notes/13.02 - release notes of version 13.02...]
 
 
 Road Map 2013 | 2013-01-15
@@ -892,7 +892,7 @@ challenges that lie beyond this immediate goal, in particular multi-processor
 scalability, support for IOMMUs, extended ARM SoC support, and improved
 virtualization on x86.
 
-[http://genode.org/about/road-map - Review our road-map for more details...]
+[https://genode.org/about/road-map - Review our road-map for more details...]
 
 
 Genode OS Framework release 12.11 | 2012-11-29
@@ -925,7 +925,7 @@ clears the way towards building more sophisticated system scenarios.
 
 To learn more details and background information about the current release,
 please continue with reading the
-[http:/documentation/release-notes/12.11 - release notes of version 12.11...]
+[https:/documentation/release-notes/12.11 - release notes of version 12.11...]
 
 
 How Genode came to the Pandaboard | 2012-11-23
@@ -936,14 +936,14 @@ How Genode came to the Pandaboard | 2012-11-23
 | a new hardware platform, namely the popular Pandaboard.
 
 The new article
-[http:/documentation/articles/pandaboard - "How Genode came to the Pandaboard"]
+[https:/documentation/articles/pandaboard - "How Genode came to the Pandaboard"]
 describes the steps to bring various peripherals such as HDMI output, networking,
 and SD-cards to live. Additionally, the report takes the reader along the
 long-winding road of performance optimizations. For those who are eager to
 try out running Genode on the Pandaboard, the article presents a example
 scenario that may serve as a good starting point.
 
-Learn more about [http:/documentation/articles/pandaboard - how Genode came to the Pandaboard...]
+Learn more about [https:/documentation/articles/pandaboard - how Genode came to the Pandaboard...]
 
 
 Genode OS Framework release 12.08 | 2012-08-23
@@ -981,7 +981,7 @@ principal ability for on-target debugging, and a way to host the genode.org
 website on Genode.
 
 These and many more improvements are described in detail in the
-[http:/documentation/release-notes/12.08 - release notes of version 12.08...]
+[https:/documentation/release-notes/12.08 - release notes of version 12.08...]
 
 
 NOVA Hypervisor supported on 64-bit x86 machines | 2012-07-27
@@ -1026,9 +1026,9 @@ co-founder of Genode Norman Feske talks about the background and motivation
 behind the project, describes the current structure of the community, and
 outlines his vision of the next generation of operating systems.
 
-[http://www.revista.espiritolivre.org/lancada-edicao-n-36-da-revista-espirito-livre - Issue 36 of the Revista Espírito Livre...]
+[https://www.revista.espiritolivre.org/lancada-edicao-n-36-da-revista-espirito-livre - Issue 36 of the Revista Espírito Livre...]
 
-[http:/about/interview_rel36 - English version of the interview...]
+[https:/about/interview_rel36 - English version of the interview...]
 
 
 Genode OS Framework release 12.05 | 2012-05-30
@@ -1055,7 +1055,7 @@ with the framework's architecture.
 
 For the full story behind all the new features and improvements, please
 refer to the
-[http:/documentation/release-notes/12.05 - release notes of version 12.05...]
+[https:/documentation/release-notes/12.05 - release notes of version 12.05...]
 
 
 Genode participation at GSoC 2012 | 2012-04-25
@@ -1147,7 +1147,7 @@ methodologies of long-term systems architects and developers mentoring
 your work.
 
 Learn more about Genode's aspired participation in GSoC 2012
-at our dedicated [http:/community/gsoc_2012 - Google Summer of Code 2012 website...]
+at our dedicated [https:/community/gsoc_2012 - Google Summer of Code 2012 website...]
 
 
 Genode OS Framework release 12.02 | 2012-02-28
@@ -1179,7 +1179,7 @@ Another example is the added API support for the common pattern of reusing
 existing components as sandboxed libraries.
 
 These and many more changes are described in full detail in the
-[http:/documentation/release-notes/12.02 - release notes of version 12.02...]
+[https:/documentation/release-notes/12.02 - release notes of version 12.02...]
 
 
 Slides of our talks at FOSDEM 2012 | 2012-02-14
@@ -1193,15 +1193,15 @@ participation in a panel discussion at the microkernel developer room.
 Norman Feske held an introductory talk, presenting Genode's architecture and
 demonstrating several use case live:
 
-:[http://genode-labs.com/publications/nfeske-genode-fosdem-2012-02.pdf - Introducing Genode]:
+:[https://genode-labs.com/publications/nfeske-genode-fosdem-2012-02.pdf - Introducing Genode]:
 
 Stefan Kalkowski presented his experience with supporting many different
 kernels as base platforms of Genode:
 
-:[http://genode-labs.com/publications/skalkowski-diversity-fosdem-2012-02.pdf - The agony of choice - the diversity of microkernels in Genode]:
+:[https://genode-labs.com/publications/skalkowski-diversity-fosdem-2012-02.pdf - The agony of choice - the diversity of microkernels in Genode]:
 
 The abstracts of both talks are available at the updated
-[http:/about/publications - publications section].
+[https:/about/publications - publications section].
 
 
 Source code moved to GitHub | 2012-01-17
@@ -1229,7 +1229,7 @@ Its content has been moved to the normal documentation section. By using Git
 for the documentation, the process of contributing to the documentation is
 streamlined with the way of how code contributions are handled. The steps
 of this process are described in the updated
-[http:/community/contributions - how-to-contribute] guide.
+[https:/community/contributions - how-to-contribute] guide.
 
 So far, our experience with using GitHub for hosting the Genode development
 has been a smooth and overly enjoyable ride. We hope you will appreciate the
@@ -1244,7 +1244,7 @@ Genode at FOSDEM | 2012-01-04
 FOSDEM is one of the world's largest events of the Free-Software and
 Open-Source-Community.
 
-:[http://fosdem.org/2012 - FOSDEM 2012, 4-5 February, Brussels, Belgium]:
+:[https://fosdem.org/2012 - FOSDEM 2012, 4-5 February, Brussels, Belgium]:
 
 This year, it will feature a dev room specifically dedicated to multi-server
 and microkernel-based operating systems. The list of participating projects
@@ -1315,7 +1315,7 @@ a tiled window manager. Towards the end of the year, we will take the
 opportunity of version 12.11 to optimize the support for our beloved
 Lenovo Thinkpads and bring additional tools such as emacs to the table.
 
-[http://genode.org/about/road-map - Review our road-map for more details...]
+[https://genode.org/about/road-map - Review our road-map for more details...]
 
 
 New issue tracker at Github | 2011-12-20
@@ -1326,7 +1326,7 @@ New issue tracker at Github | 2011-12-20
 
 As promised earlier, Genode has got a new issue tracker at Github:
 
-:[http://github.com/genodelabs/genode/issues]:
+:[https://github.com/genodelabs/genode/issues]:
 
 Please use this tracker to report and discuss Genode-related issues from now
 on. The old public tracker at Sourceforge is still there but all issues have
@@ -1475,7 +1475,7 @@ provides powerful debugging facilities without compromizing the security of the
 system.
 
 To learn more about those and many other improvements, please read on the
-[http:/documentation/release-notes/11.11 - release notes of version 11.11...]
+[https:/documentation/release-notes/11.11 - release notes of version 11.11...]
 
 
 Android on top of Genode | 2011-09-27
@@ -1501,7 +1501,7 @@ experiment with L4Android on Genode, please find further information at the
 top-level
 [http://genode.svn.sourceforge.net/viewvc/genode/trunk/ports-foc/README - README]
 file of the 'ports-foc' repository and share your results with us at the
-[http:/community/mailing-lists - Genode mailing list].
+[https:/community/mailing-lists - Genode mailing list].
 
 
 Genode OS Framework release 11.08 | 2011-08-17
@@ -1537,7 +1537,7 @@ VFAT partitions. The ARM support has been extended to cover both L4Linux (on
 Fiasco.OC) and Qt4 (ARMv6, ARMv7). Furthermore, the new version is accompanied
 with a comprehensive documentation update.
 
-Read [http:/documentation/release-notes/11.08 - the full story]
+Read [https:/documentation/release-notes/11.08 - the full story]
 about the various improvements that come with the version 11.08...
 
 
@@ -1574,7 +1574,7 @@ enables the GNU debugger to inspect a user-level Genode process via a remote
 connection.
 
 Read the complete story about these and many more changes in the
-[http:/documentation/release-notes/11.05 - release notes of version 11.05...]
+[https:/documentation/release-notes/11.05 - release notes of version 11.05...]
 
 
 Exciting challenges ahead | 2011-03-24
@@ -1585,7 +1585,7 @@ Exciting challenges ahead | 2011-03-24
 
 With each new Genode release, the scope of feasible use cases for the framework
 grows and motivates us to reach out for new ambitious goals. There is a
-dedicated [http:/community/wiki/Challenges - Wiki page] for collecting those
+dedicated [https:/community/wiki/Challenges - Wiki page] for collecting those
 ideas. After having released the version 11.02 of the framework, we took the
 chance to reiterate the many ideas that popped up recently, ideas ranging from
 the support of diverse potential base platforms, over creative combinations of
@@ -1594,11 +1594,11 @@ Genode with other Open-Source projects, to novel tools and applications.
 So if you are curious about what kinds of projects we have in mind in the mid
 term, have fun browsing through the project proposals. If one of these topics
 catches your interest, we'd be happy about you joining in with the development
-or discussing those ideas at our [http:/community/mailing-lists - mailing list].
+or discussing those ideas at our [https:/community/mailing-lists - mailing list].
 Also, if you have additional ideas, please do not hesitate to tell us more.
 
 Discover the Wiki page about our
-[http:/community/wiki/Challenges - future challenges...]
+[https:/community/wiki/Challenges - future challenges...]
 
 
 Norman Feske introduces Genode on YouTube | 2011-03-10
@@ -1666,7 +1666,7 @@ coreutils without requiring manual porting work.
 
 Read on about further details regarding the new kernel platforms, the vision
 behind Noux, and many more improvements of the framework in the
-[http:/documentation/release-notes/11.02 - release notes of version 11.02].
+[https:/documentation/release-notes/11.02 - release notes of version 11.02].
 
 
 Genode OS walk-through on YouTube | 2010-12-22
@@ -1693,7 +1693,7 @@ prepared the following screencast with a guided walk-through. Enjoy!
 
 [http://www.youtube.com/watch?v=CJdWOmajo_8 - Visit the YouTube page...]
 
-[http:/download/live-cds - Download the real thing...]
+[https:/download/live-cds - Download the real thing...]
 
 
 Genode OS Framework release 10.11 | 2010-11-30
@@ -1703,7 +1703,7 @@ Genode OS Framework release 10.11 | 2010-11-30
 | project, employ user-level on-demand paging, and use advanced graphics with
 | the nitpicker GUI server.
 
-With the [http:/download/live-cds - recently published Live CD], the Genode
+With the [https:/download/live-cds - recently published Live CD], the Genode
 project has reached a new stage by integrating advanced device drivers, complex
 protocol stacks, and real-world applications into one dynamic setup. The new
 Genode release 10.11 bears fruit of the intensive effort that went into this
@@ -1719,7 +1719,7 @@ Furthermore, the release comes with a number of new components such as a
 virtual network bridge and a http-based block server, which can be combined
 with the existing components to open up new use cases of the framework.
 
-Please enjoy the [http:/documentation/release-notes/10.11 - full description]
+Please enjoy the [https:/documentation/release-notes/10.11 - full description]
 of all the improvements that come with version 10.11.
 
 
@@ -1744,7 +1744,7 @@ You can now test drive the current version of Genode on your PC (or virtual
 machine) to get an idea about where the development of the framework is
 heading.
 
-[http:/download/live-cds - Download the new live CD]
+[https:/download/live-cds - Download the new live CD]
 featuring five setups showcasing our efforts of the past year.
 
 
@@ -1769,7 +1769,7 @@ drivers, there are numerous other improvements such as the upgrade to Qt4.6.3
 and support for dynamic linking on platforms using ARM EABI.
 
 Please find more in-depth information in the detailed
-[http:/documentation/release-notes/10.08 - release notes of version 10.08...].
+[https:/documentation/release-notes/10.08 - release notes of version 10.08...].
 
 
 Genode OS Framework release 10.05 | 2010-05-27
@@ -1792,7 +1792,7 @@ nitpicker GUI. For Genode developers, there is a new build system, which
 significantly improves the build performance on multi-processor systems.
 
 Read on about these and many more improvements detailed in the
-[http:/documentation/release-notes/10.05 - release notes of version 10.05...]
+[https:/documentation/release-notes/10.05 - release notes of version 10.05...]
 
 
 Adaptation to Codezero kernel v0.3 | 2010-04-06
@@ -1811,7 +1811,7 @@ addition to the extended CPU support, the new release adds important
 functionality regarding device I/O, which prompted us to adapt Genode to the
 new version. The adaptation to Codezero version 0.3 is now available at our
 Subversion repository. To facilitate the use of Genode with Codezero, we
-created a dedicated [http:/community/wiki/GenodeOnCodezero - Wiki page],
+created a dedicated [https:/community/wiki/GenodeOnCodezero - Wiki page],
 which provides up-to-date documentation about building and using Genode on this
 kernel.
 
@@ -1819,7 +1819,7 @@ Thanks to the Codezero developers for being extremely responsive to our
 questions and feature requests!
 
 Learn more about
-[http:/community/wiki/GenodeOnCodezero - using Genode with Codezero...]
+[https:/community/wiki/GenodeOnCodezero - using Genode with Codezero...]
 
 
 
@@ -1844,9 +1844,9 @@ the new release, we made the real-time scheduling of OKL4 and L4ka::Pistachio
 available to Genode applications.
 
 Read on the full story about our experiences with the new kernels and the many
-[http:/documentation/release-notes/10.02 - improvements of the release 10.02...]
+[https:/documentation/release-notes/10.02 - improvements of the release 10.02...]
 
-[http:/download/latest-release - Download the latest release...]
+[https:/download/latest-release - Download the latest release...]
 
 
 Road map 2010 | 2010-01-04
@@ -1864,7 +1864,7 @@ environment, networking, USB input and storage, dynamic linking, Qt4 including
 Webkit, and support for a paravirtualized Linux kernel. With this strong
 foundation in place, its time to raise the bar again.
 
-[http:/about/road-map - Please read on about our updated road map for 2010...]
+[https:/about/road-map - Please read on about our updated road map for 2010...]
 
 
 Genode OS Framework release 9.11 | 2009-11-25
@@ -1886,7 +1886,7 @@ Genode. Beside the new functionality, Genode's platform scope was broadened by
 initial support of the ARM architecture.
 
 Read on about these and all additional changes in more detail in the
-[http:/documentation/release-notes/9.11 - release notes for Genode 9.11...].
+[https:/documentation/release-notes/9.11 - release notes for Genode 9.11...].
 
 
 Genode Live Demonstration 2009-09 | 2009-09-02
@@ -1904,7 +1904,7 @@ tested on Qemu/KVM and VirtualBox.
 _Edit: We have further improved the performance of the L4/Fiasco and_
 _L4ka::Pistachio demos, and refined the presentation of the Qt4 demo._
 
-[http:/download/live-cds - Download the updated Live-CD image...]
+[https:/download/live-cds - Download the updated Live-CD image...]
 
 
 Genode OS Framework release 9.08 | 2009-08-19
@@ -1926,7 +1926,7 @@ FreeBSD, the added support for thread-local storage, a much improved timer
 service, and core extensions for running Linux on the OKL4 version of Genode.
 
 Read on about all the changes in the
-[http:/documentation/release-notes/9.08 - release notes for Genode 9.08...]
+[https:/documentation/release-notes/9.08 - release notes for Genode 9.08...]
 
 
 Document about Genode's native Qt4 port available | 2009-07-06
@@ -1954,7 +1954,7 @@ provided by Genode, and the integration of Qt4 with Genode's GUI. In addition
 to the mentioned technical insights, the document evaluates the achieved
 solution with respect to compatibility and maintainability.
 
-[http://www.genode-labs.com/publications/qt4-on-genode-de-2009.pdf - Download the PDF...]
+[https://www.genode-labs.com/publications/qt4-on-genode-de-2009.pdf - Download the PDF...]
 
 
 Genode OS Framework release 9.05 | 2009-05-27
@@ -1979,11 +1979,11 @@ seamlessly integrated the support for the Qt application framework into the
 Genode source tree and bumped the version to 4.5.1.
 
 Read on about the new features described int the
-[http:/documentation/release-notes/9.05 - release notes...]
+[https:/documentation/release-notes/9.05 - release notes...]
 
-[http:/download/latest-release - Download the release 9.05...]
+[https:/download/latest-release - Download the release 9.05...]
 
-[http:/about/road-map - See our updated road map...]
+[https:/about/road-map - See our updated road map...]
 
 
 Bringing Genode to the OKL4 kernel | 2009-05-06
@@ -2009,12 +2009,12 @@ each kernel platform. To ease future ports of the frameworks to other kernels,
 we have documented our work in detail. If you are interested in learning more
 about the OKL4 kernel from our perspective, or if you like to dive right into
 the inner parts of the Genode OS Framework, read on about
-[http:/documentation/articles/genode-on-okl4 - Bringing the Genode OS Framework to the OKL4 kernel...]
+[https:/documentation/articles/genode-on-okl4 - Bringing the Genode OS Framework to the OKL4 kernel...]
 
 The OKL4 version is available at our subversion repository and will be included
 in the upcoming release 9.05. For further information about building and using
 Genode on OKL4, please refer to the new
-[http:/community/wiki/GenodeOnOKL4 - Genode on OKL4 Wiki page...]
+[https:/community/wiki/GenodeOnOKL4 - Genode on OKL4 Wiki page...]
 
 
 Genode on 64-bit Linux kernels | 2009-04-17
@@ -2031,7 +2031,7 @@ support future 64-bit versions of L4 kernels as well. The patch for adding 64
 bit support supplied by Christian Prochaska is now included in the current
 version of the Genode subversion repository.
 
-[http:/download/subversion-repository - Access the Genode subversion repository...]
+[https:/download/subversion-repository - Access the Genode subversion repository...]
 
 
 Christian Prochaska joins our project as regular developer | 2009-04-08
@@ -2072,9 +2072,9 @@ portability, these features become automatically available on all supported
 base platforms.
 
 Read on about the new features described in the
-[http:/documentation/release-notes/9.02 - release notes...]
+[https:/documentation/release-notes/9.02 - release notes...]
 
-[http:/download/latest-release - Download the Genode release 9.02...]
+[https:/download/latest-release - Download the Genode release 9.02...]
 
 
 Port of libSDL to Genode | 2009-01-23
@@ -2120,7 +2120,7 @@ part of Genode with the upcoming release as scheduled for February. The
 instructions for building and using Genode with the L4ka::Pistachio kernel are
 provided at our Genode-on-L4ka::Pistachio wiki page.
 
-[http:/community/wiki/GenodeOnL4kaPistachio">Learn more about Genode on L4ka::Pistachio...]
+[https:/community/wiki/GenodeOnL4kaPistachio">Learn more about Genode on L4ka::Pistachio...]
 
 
 Public bug tracker available | 2008-12-12
@@ -2132,7 +2132,7 @@ Public bug tracker available | 2008-12-12
 With the new bug tracker, we want to simplify the sharing and solving of issues
 related to Genode in a coordinated fashion. If you discover things you like to
 see improved in our code or documentation, please do not hesitate to share your
-experiences and ideas by posting a bug. [http:/community - Community resources...]
+experiences and ideas by posting a bug. [https:/community - Community resources...]
 
 
 Genode OS Framework release 8.11 | 2008-11-21
@@ -2151,9 +2151,9 @@ base API by a number of exciting feature such as support for asynchronous
 notifications, capability typification, and managed dataspaces.
 
 Learn more about all the new features and changes described in our comprehensive
-[http:/documentation/release-notes/8.11 - release notes...]
+[https:/documentation/release-notes/8.11 - release notes...]
 
-[http:/download/latest-release - Download the release 8.11 of the Genode OS Framework...]
+[https:/download/latest-release - Download the release 8.11 of the Genode OS Framework...]
 
 
 Ready-to-boot Live-CD image available | 2008-10-21
@@ -2165,7 +2165,7 @@ Ready-to-boot Live-CD image available | 2008-10-21
 The Live CD features a fully graphical demonstration that presents the
 fundamental concepts of the Genode architecture in an interactive fashion. It
 runs directly on PC hardware and has been tested on Qemu and VirtualBox.
-[http:/download/live-cds - Download the Live-CD image...]
+[https:/download/live-cds - Download the Live-CD image...]
 
 
 New and exciting challenges ahead | 2008-09-19
@@ -2177,7 +2177,7 @@ New and exciting challenges ahead | 2008-09-19
 
 The Genode architecture inspires a large number of topics for research,
 experimentation, and development. The
-[http:/community/wiki/Challenges - challenges section of our Wiki] compiles a
+[https:/community/wiki/Challenges - challenges section of our Wiki] compiles a
 number of existing ideas. We have now enhanced this compilation by a number of
 further avenues that we find interesting to explore. For example, exploring
 Linux process containers, running Genode on FPGA platforms, dynamic linking
@@ -2208,7 +2208,7 @@ results presented in the paper reveal a number of interesting issues, for
 example the limited scalability of the current Genode build system with regard
 to parallelism, and the memory consumption of SCons when used for large
 projects.
-[http://www.genode-labs.com/publications/scons-vs-make-2008.pdf - Download the PDF document...]
+[https://www.genode-labs.com/publications/scons-vs-make-2008.pdf - Download the PDF document...]
 
 
 Genode ported to Syllable Server OS | 2008-08-22
@@ -2237,7 +2237,7 @@ year as the major number and the month as minor number. Hence, the release is
 called 8.08. It contains everything needed to execute an interactive graphical
 demonstration scenario on Linux via libSDL or alternatively via L4/Fiasco on
 bare PC hardware.
-[http:/download/latest-release - Download the latest release...]
+[https:/download/latest-release - Download the latest release...]
 
 
 Project website launched | 2008-07-29
@@ -2248,7 +2248,7 @@ Project website launched | 2008-07-29
 | Genode OS framework is scheduled for the 6th of August.
 
 Today, we proudly launched the website of the Genode project
-[http://www.genode.org - http://www.genode.org]. This website is the central
+[https://www.genode.org - https://www.genode.org]. This website is the central
 resource for people using or developing the Genode OS framework. It covers
 the latest news about our progress, architectural and technical documentation,
 a community-maintained wiki, mailing lists, information on accessing the
@@ -2257,7 +2257,7 @@ attention of people who want bring forward the project together with us.
 
 We have scheduled the first official release of the Genode OS framework for the
 6th August. Until then, we invite you to test-drive the beta-version of the
-framework as provided at the [http://www.genode.org/download - download].
+framework as provided at the [https://www.genode.org/download - download].
 
 
 Genode Labs founded | 2008-07-17