summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2019-10-13 12:56:12 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2019-10-13 12:56:12 +0200
commit513fea5d9d40d11961cfee5c1e6347b6ba793fbc (patch)
treed9964af71f198359a6fe201fc9a3291762d751f4
parent35032b62f89962206373bfa85f3c0f3efb7b62a4 (diff)
parent77600b35a8fcea79c69e710992395dbf8076b43d (diff)
Merge branch 'master' of braunbox:~hurd-web/hurd-web
-rw-r--r--CapROS.mdwn19
-rw-r--r--asbestos.mdwn7
-rw-r--r--binutils.mdwn5
-rw-r--r--community.mdwn2
-rw-r--r--community/weblogs/ArneBab/what_we_need.mdwn4
-rw-r--r--delegation.mdwn20
-rw-r--r--documentation.mdwn6
-rw-r--r--gdb.mdwn10
-rw-r--r--hurd/discussion.mdwn13
-rw-r--r--hurd/documentation.mdwn4
-rw-r--r--hurd/running/qemu.mdwn2
-rw-r--r--index.mdwn4
-rw-r--r--microkernel.mdwn8
-rw-r--r--open_issues/binutils.mdwn2
-rw-r--r--sidebar.mdwn3
-rw-r--r--user/MutoShack.mdwn2
16 files changed, 83 insertions, 28 deletions
diff --git a/CapROS.mdwn b/CapROS.mdwn
new file mode 100644
index 00000000..b727d314
--- /dev/null
+++ b/CapROS.mdwn
@@ -0,0 +1,19 @@
+[[!meta copyright="Copyright © 2019 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+CapROS (Capability-based Reliable Operating System), developed by Strawberry Development Group, is a derivative of EROS (Extremely Reliable Operating System) and can run on IA-32 and ARM processors.
+
+CapROS began in 2005.
+
+#External Links
+* [CapROS Homepage](http://www.capros.org/)
+* [EROS Homepage (wayback)](https://web.archive.org/web/20031029002231/http://www.eros-os.org/)
+
+
diff --git a/asbestos.mdwn b/asbestos.mdwn
index 3990eec1..5bdba25d 100644
--- a/asbestos.mdwn
+++ b/asbestos.mdwn
@@ -21,5 +21,8 @@ information. To propagate information outside of the machine, the
releaser must first untaint the information. This can only be done
with the original principal's authorization.
-Asbestos is described in Efstathopoulos et al.'s 2005 paper [Labels and
-Event Processes in the Asbestos Operating System](http://pdos.csail.mit.edu/papers/asbestos-sosp05.pdf).
+#External Links
+
+* [The Asbestos homepage](https://web.archive.org/web/20070917071123/http://asbestos.cs.ucla.edu/doku.php) on the Wayback machine.
+* [Asbestos - An operating System for Mobile Devices](https://pdos.csail.mit.edu/papers/armasb:martijn-meng/armasb:martijn-meng.pdf)
+* [Labels and Event Processes in the Asbestos Operating System](http://pdos.csail.mit.edu/papers/asbestos-sosp05.pdf), Efstathopoulos et al. 2005
diff --git a/binutils.mdwn b/binutils.mdwn
index d3e2b735..9659ad46 100644
--- a/binutils.mdwn
+++ b/binutils.mdwn
@@ -12,10 +12,9 @@ is included in the section entitled
[[!meta title="GNU Binutils"]]
-# <http://www.gnu.org/software/binutils/>
+[GNU Binutils](http://www.gnu.org/software/binutils/) (BINary UTILitieS) is a collection of, well, binary utilities, noteably the 'as' assembler and the 'ln' linker program.
-
-# [[Maintenance|open_issues/binutils]]
+For an in-depth view of the binutils port for the Hurd, take a look at [[Maintenance|open_issues/binutils]].
# Open Issues
diff --git a/community.mdwn b/community.mdwn
index 2679ade6..bc3b1c9a 100644
--- a/community.mdwn
+++ b/community.mdwn
@@ -10,7 +10,7 @@ License|/fdl]]."]]"""]]
There is an ever expanding community of people developing and running GNU/Hurd
-systems! This page tries to list all the places on the Web where we commonly hang out.
+systems! This page tries to list all the places where we commonly hang out.
---
# Online Communities
diff --git a/community/weblogs/ArneBab/what_we_need.mdwn b/community/weblogs/ArneBab/what_we_need.mdwn
index 465b3e3f..4773d5c0 100644
--- a/community/weblogs/ArneBab/what_we_need.mdwn
+++ b/community/weblogs/ArneBab/what_we_need.mdwn
@@ -3,10 +3,10 @@ We created a list of the things we still need for using the Hurd for in our day-
As soon as these issues are taken care of, the Hurd offers everything we need for fullfilling most of our computing needs on at least one of our devices:
- USB (5): Arne, ms, Michael, Emilio, antrik²³
-- Wireless (5): Arne, ms, Carl Fredrik, Michael (netbook), antrik (notebook)
+- Wireless (5): Arne, ms, Carl Fredrik, Michael (netbook), antrik (notebook). **working version [[with DDE in 2010|news/2010-02-28]]**.
- Sound (4): ms, Carl Fredrik, Michael, antrik²
-- SATA (2): Michael, (Emilio). Done.
+- SATA (2): Michael, (Emilio). **Done, see [[faq/sata_disk_drives]].**
- Tested for modern machines°¹ (2): Emilio, antrik (notebook)
- Stable Xorg° (2): Emilio, antrik
- PPPoE (2): Carl Fredrik, antrik²
diff --git a/delegation.mdwn b/delegation.mdwn
new file mode 100644
index 00000000..1bb3436c
--- /dev/null
+++ b/delegation.mdwn
@@ -0,0 +1,20 @@
+[[!meta copyright="Copyright © 2019 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+As in the English dictionary, a delegate is "a person designated to represent or act for another"
+
+Delegation is when one object (delegator) passes a helper object (delegate) to another object (delegatee?). A certain delegate to be delegated is passed between a delegator and a delegatee. Delegation is an alternative to inheritance.
+
+#External Links
+
+* [Deligation pattern](https://en.wikipedia.org/wiki/Delegation_pattern) on Wikipedia.
+* [Deligation](https://kotlinlang.org/docs/reference/delegation.html) is a built-in feature of the Kotlin programming language.
+* [Deligates](http://rosettacode.org/wiki/Delegates) on Rosetta Code.
+* [What is Deligation](http://wiki.c2.com/?WhatIsDelegation) on the Wiki Wiki Web.
diff --git a/documentation.mdwn b/documentation.mdwn
index 7014887a..8e336b42 100644
--- a/documentation.mdwn
+++ b/documentation.mdwn
@@ -35,7 +35,7 @@ You may want to start reading a [[quick overview|overview]] of how the GNU/Hurd
starts, and thus how it is structured. Also see our [[FAQ]]
### Capabilities
- * Read up on [[Capabilities|capability]], [[!wikipedia Capability_Based_Security]],
+ * Read up on [[Capabilities|capability]], [[!wikipedia Capability-based_security]],
and, [What is a Capability, Anyway?](https://archive.is/20130112225523/http://www.eros-os.org/essays/capintro.html)
In the GNU/Hurd system, a capability is represented by a [[Mach
@@ -51,7 +51,7 @@ message passing. Eventually, the Hurd servers and Unix processes discuss with
each other using these RPCs.
Depending on your background, you may want to start reading the documentation
-from userlandish interfaces (Hurd) or from the micro kernel itself (Mach).
+from userlandish interfaces (Hurd) or from the microkernel itself (Mach).
* [[GNU_Hurd|hurd/documentation]]
* [[Mach|microkernel/mach/documentation]]
@@ -124,6 +124,6 @@ from userlandish interfaces (Hurd) or from the micro kernel itself (Mach).
# IRC Logs
The IRC logs contain wealth of information. Many topics have been covered before in the IRC logs. You can use wget to
-download all of the logs and grep for the information that you want.
+download all of the logs and grep for the information that you want (~100MB):
`wget --mirror --no-parent -A "hurd-*" -e robots=off http://richtlijn.be/~larstiq/hurd/`
diff --git a/gdb.mdwn b/gdb.mdwn
index 63e6806e..ac520519 100644
--- a/gdb.mdwn
+++ b/gdb.mdwn
@@ -12,19 +12,15 @@ License|/fdl]]."]]"""]]
[[!meta title="GNU GDB"]]
-# <http://www.gnu.org/software/gdb/>
-
- * [[Backtrace]]s
+The [GNU Project Debugger](http://www.gnu.org/software/gdb/) (GDB) is a helpful tool for finding bugs, as it lets you know what a program is doing while it runs. This page is dedicated to the Hurd's port of GDB and how to use or help maintain it.
+ * [[Maintenance|open_issues/gdb]]
+ * [[Backtraces|backtrace]]
* [Manual](http://sourceware.org/gdb/documentation/)
-
* [When disassemble doesn't
work](http://lists.gnu.org/archive/html/bug-hurd/2007-02/msg00039.html)
-# [[Maintenance|open_issues/gdb]]
-
-
# Open Issues
[[!inline pages=tag/open_issue_gdb raw=yes feeds=no]]
diff --git a/hurd/discussion.mdwn b/hurd/discussion.mdwn
new file mode 100644
index 00000000..56802b75
--- /dev/null
+++ b/hurd/discussion.mdwn
@@ -0,0 +1,13 @@
+[[!meta copyright="Copyright © 2018 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+MutoShack:
+
+Hey, does "media references" mean screenshots, or is it synonymous with "media appearances"? I don't know if a new page is needed, or if it's pointing to the wrong (non-existing) page.
diff --git a/hurd/documentation.mdwn b/hurd/documentation.mdwn
index fab7680b..f095cf26 100644
--- a/hurd/documentation.mdwn
+++ b/hurd/documentation.mdwn
@@ -1,5 +1,5 @@
[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
-2009, 2011, 2012, 2015 Free Software Foundation, Inc."]]
+2009, 2011, 2012, 2015, 2019, Free Software Foundation, Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
@@ -12,7 +12,7 @@ is included in the section entitled
[[!meta title="Hurd Documentation"]]
# Introductory Material
- * [[What_Is_the_GNU_Hurd]]
+ * [[What_Is_the_GNU_Hurd?|What_Is_the_GNU_Hurd]]
* [[Advantages of the Hurd|Advantages]]
* [[The Hurd FAQ|FAQ]]
* [[*The_Hurd_and_Linux*|/hurd-and-linux]], a comment by Richard Stallman.
diff --git a/hurd/running/qemu.mdwn b/hurd/running/qemu.mdwn
index b9afdde4..6df06ace 100644
--- a/hurd/running/qemu.mdwn
+++ b/hurd/running/qemu.mdwn
@@ -394,4 +394,4 @@ system after installation.
[[Image_for_L4]] -- a QEMU image for the Hurd/L4 project.
-<http://eyeside.net/hurd/Hurd-on-QEMU.html>
+[Hurd Installation Guide from eyeside.net](https://web.archive.org/web/20130516025306/http://www.eyeside.net/index.htm)
diff --git a/index.mdwn b/index.mdwn
index 22526d03..d005baa6 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -8,7 +8,7 @@ License|/fdl]]."]]"""]]
<div id="statements">
<div id="what-is">
-<p class="statement-title">What is the GNU Hurd?</p>
+<p class="statement-title"><strong>What is the GNU Hurd?</strong></p>
<p>The GNU Hurd is the GNU project's replacement for the Unix kernel.
It is a collection of servers that run on the Mach microkernel
to implement file systems, network protocols, file access control, and
@@ -17,7 +17,7 @@ kernels (such as Linux).
<em>[[More_detailed|hurd/documentation]].</em></p>
</div>
<div id="mission">
-<p class="statement-title">What is the mission of the GNU Hurd project?</p>
+<p class="statement-title"><strong>What is the mission of the GNU Hurd project?</strong></p>
<p>Our mission is to create a general-purpose kernel suitable
for the GNU operating system, which is viable for everyday use,
and gives users and programs as much control over their
diff --git a/microkernel.mdwn b/microkernel.mdwn
index 2369f1de..8e78d7d5 100644
--- a/microkernel.mdwn
+++ b/microkernel.mdwn
@@ -12,9 +12,9 @@ License|/fdl]]."]]"""]]
A *microkernel* is one kind of a [[kernel]] implementation.
-[[Liedtke]] explains in [On Microkernel Construction](http://l4ka.org/publications/paper.php?docid=642)
-(or from [TU Dresden](http://www.tud-os.org/papers_ps/jochen/Mikern.ps),
-or from [ACM](http://dl.acm.org/citation.cfm?id=224075))
+<!-- The link below is commented out because I'm not sure if the server is permanently down or if it's temporary -->
+<!-- [[Liedtke]] explains in [On Microkernel Construction](http://l4ka.org/publications/paper.php?docid=642) -->
+[[Liedtke]] explains in [On Microkernel Construction](https://os.itec.kit.edu/downloads/publ_1995_liedtke_ukernel-construction.pdf)*
that a microkernel attempts to minimize the mandatory part of the operating
system by providing the minimal number of [[mechanism]]s that
maximize the flexibility of implementation (by imposing minimal
@@ -52,3 +52,5 @@ A 2002 article about [[microkernel_FUD|FUD]] (Fear, Uncertainty, Doubt).
---
# External Links
* [[!wikipedia Microkernel]] on Wikipedia
+* *(or from [TU Dresden](http://www.tud-os.org/papers_ps/jochen/Mikern.ps)
+or from [ACM](http://dl.acm.org/citation.cfm?id=224075))
diff --git a/open_issues/binutils.mdwn b/open_issues/binutils.mdwn
index 328cc24b..100fab32 100644
--- a/open_issues/binutils.mdwn
+++ b/open_issues/binutils.mdwn
@@ -33,7 +33,7 @@ though, as explained below.
## [[/GDB]]
-GDB needs an processor architecture as well as operating system port.
+GDB needs a processor architecture as well as an operating system port.
# Configuration
diff --git a/sidebar.mdwn b/sidebar.mdwn
index 0cd1101d..d2582210 100644
--- a/sidebar.mdwn
+++ b/sidebar.mdwn
@@ -9,7 +9,7 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
is included in the section entitled [[GNU Free Documentation
License|/fdl]]."]]"""]]
-Welcome to... [[!img /logo/boxes-redrawn.png link=/logo]] ... the GNU Hurd!
+<strong>Welcome to...</strong> [[!img /logo/boxes-redrawn.png link=/logo]] <strong>... the GNU Hurd!</strong>
---
@@ -41,6 +41,7 @@ Welcome to... [[!img /logo/boxes-redrawn.png link=/logo]] ... the GNU Hurd!
---
* **[[Debian GNU/Hurd|hurd/running/debian]]**
+ * **[[Arch GNU/Hurd|hurd/running/live_cd/]]**
* **[[GNU System|hurd/running/gnu]]**
---
diff --git a/user/MutoShack.mdwn b/user/MutoShack.mdwn
index 791e3d64..816a39ac 100644
--- a/user/MutoShack.mdwn
+++ b/user/MutoShack.mdwn
@@ -1,3 +1,5 @@
I'm Muto. I'm a Free Software user and creator. I love the Hurd & have created this account just in case I decide to edit the wiki.
You can find my static, JS-free blog at <https://muto.ca> (which contains various contact links if you'd like to talk about the Hurd with me).
+
+I maintain an unofficial CSS file for the hurd wiki that can be found [here](https://gitlab.com/MutoShack/new-hurd-local.css). It may give inspiration to anyone else interested in contributing to the [[contributing/web_pages]].