ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 21:27:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

demo: update tutorial text

Browse Source 
Remove references to the demo CD. Update links to https.
This commit is contained in:
Norman Feske 2024-05-22 14:43:38 +02:00 committed by Christian Helmuth
parent e90f6988d8
commit 889f1f5488
2 changed files with 10 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
repos/demo/doc/demo.txt
View File

@ -9,8 +9,7 @@ Genode is a construction kit for building special-purpose operating systems
out of a number of components such as device drivers, protocol
stacks, and applications. Those components are organized using only a few
yet powerful architectual prinicples, and thereby, allow for the
composition of a wide range of different systems. The live CD is meant to
showcase how far the concept scales as of today.
composition of a wide range of different systems.
The following introduction will provide you with hands-on experience with
the basics of Genode:
@ -52,7 +51,7 @@ scout is not directly available to launchpad anymore.
started the scout tutorial browser.
In Figure [img/setup], you see an illustration of the current setup (slightly
simplified, leaving out the main menu and the other parts of the live CD). At
simplified). At
the very bottom, there are the kernel, core, and init. Init has started the
framebuffer driver, the timer driver, the nitpicker GUI server, and launchpad
as it children. Launchpad, in turn, has started the second instance of scout as
@ -202,15 +201,15 @@ can further be combined with compatibility to existing applications
executed on virtual machines.
More details, architectural and technical documents, our road
map, and the complete source code are available at [http://genode.org].
map, and the complete source code are available at [https://genode.org].
The development of the Genode OS Framework is conducted as
an open-source community project, coordinated by Genode Labs,
a company founded by the original authors of Genode.
If you are interested in supporting our project through
participation or funding, please consider joining our
community ([http://genode.org]) or contact Genode Labs
([http://www.genode-labs.com]).
community ([https://genode.org]) or contact Genode Labs
([https://www.genode-labs.com]).
! info@genode-labs.com

11
repos/demo/src/app/scout/doc.cc
View File

@ -75,8 +75,7 @@ Document *create_document()
b0->append_plaintext("out of a number of components such as device drivers, protocol", &plain_style);
b0->append_plaintext("stacks, and applications. Those components are organized using only a few", &plain_style);
b0->append_plaintext("yet powerful architectual prinicples, and thereby, allow for the", &plain_style);
b0->append_plaintext("composition of a wide range of different systems. The live CD is meant to", &plain_style);
b0->append_plaintext("showcase how far the concept scales as of today.", &plain_style);
b0->append_plaintext("composition of a wide range of different systems.", &plain_style);
doc->append(b0);
b0 = new Block();
@ -174,7 +173,7 @@ Document *create_document()
b0->append_plaintext("In Figure", &plain_style);
b0->append_plaintext("setup", &link_style);
b0->append_plaintext(", you see an illustration of the current setup (slightly", &plain_style);
b0->append_plaintext("simplified, leaving out the main menu and the other parts of the live CD). At", &plain_style);
b0->append_plaintext("simplified). At", &plain_style);
b0->append_plaintext("the very bottom, there are the kernel, core, and init. Init has started the", &plain_style);
b0->append_plaintext("framebuffer driver, the timer driver, the nitpicker GUI server, and launchpad", &plain_style);
b0->append_plaintext("as it children. Launchpad, in turn, has started the second instance of scout as", &plain_style);
@ -424,7 +423,7 @@ Document *create_document()
b0 = new Block();
b0->append_plaintext("More details, architectural and technical documents, our road", &plain_style);
b0->append_plaintext("map, and the complete source code are available at", &plain_style);
b0->append_plaintext("http://genode.org", &link_style);
b0->append_plaintext("https://genode.org", &link_style);
b0->append_plaintext(".", &plain_style);
chapter->append(b0);
@ -435,10 +434,10 @@ Document *create_document()
b0->append_plaintext("If you are interested in supporting our project through", &plain_style);
b0->append_plaintext("participation or funding, please consider joining our", &plain_style);
b0->append_plaintext("community (", &plain_style);
b0->append_plaintext("http://genode.org", &link_style);
b0->append_plaintext("https://genode.org", &link_style);
b0->append_plaintext(") or contact Genode Labs", &plain_style);
b0->append_plaintext("(", &plain_style);
b0->append_plaintext("http://www.genode-labs.com", &link_style);
b0->append_plaintext("https://www.genode-labs.com", &link_style);
b0->append_plaintext(").", &plain_style);
chapter->append(b0);