Fix broken links of genode.org

This commit is contained in:
Stefan Kalkowski 2012-03-27 13:04:33 +02:00 committed by Norman Feske
parent 59221f9c17
commit fc8a24129b
3 changed files with 6 additions and 6 deletions

View File

@ -430,7 +430,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 [http:/documentation/release-notes/11.08 - the full story]
about the various improvements that come with the version 11.08...
@ -983,13 +983,13 @@ for graphics, input devices, and sound. It is often used as back end for games,
emulators, and media players. Also the Linux version of Genode relies on the
hardware abstractions provided by libSDL.
As [http:/community/viewml?msg_name=4978DC53.3090409%40torfbruecke.net&forum_name=genode-main - announced on the Genode mailing list],
As [http://sourceforge.net/mailarchive/message.php?msg_id=21406424 - announced on the Genode mailing list],
libSDL has been ported to Genode. At the current stage, the port supports
the video subsystem and the input handling for mouse and keyboard. With
libSDL now becoming available for Genode, it becomes much easier to make the
wealth of libSDL-based applications available on our platform.
[http:/community/viewml?msg_name=4978DC53.3090409%40torfbruecke.net&forum_name=genode-main - Read the announcement...]
[http://sourceforge.net/mailarchive/message.php?msg_id=21406424 - Read the announcement...]
Genode on the L4ka::Pistachio kernel | 2008-12-18
@ -1044,7 +1044,7 @@ 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/release_notes-08-11 - release notes...]
[http:/documentation/release-notes/8.11 - release notes...]
[http:/download/latest-release - Download the release 8.11 of the Genode OS Framework...]

View File

@ -751,7 +751,7 @@ NIC driver implementing the NIC-session interface
We added a new NIC driver using the Linux Device Driver Environment, which
implements the server side of the new NIC-session interface described in
Section [NIC-session Interface]. The currently used Linux driver is 'pcnet'
Section [NIC-session interface]. The currently used Linux driver is 'pcnet'
that is implemented in Qemu. Nevertheless, it should be straight forward to
add other Linux network drivers the same way.

View File

@ -908,7 +908,7 @@ request inconsistently. We have now enhanced the 'Root_component' template with
a policy parameter to 'Root_component' that allows the specification of a
session-creation policy. The most important policy is whether a service can
have a single or multiple clients.
[http://genode.org/documentation/api/static_content/code/base/include/root/component - See the improved template...]
[http://genode.org/documentation/api/inline?code/base/include/root/component.h - See the improved template...]
Out-of-order RPC replies
========================