diff options
| -rw-r--r-- | CapROS.mdwn | 19 | ||||
| -rw-r--r-- | asbestos.mdwn | 7 | ||||
| -rw-r--r-- | binutils.mdwn | 5 | ||||
| -rw-r--r-- | community.mdwn | 2 | ||||
| -rw-r--r-- | community/weblogs/ArneBab/what_we_need.mdwn | 4 | ||||
| -rw-r--r-- | delegation.mdwn | 20 | ||||
| -rw-r--r-- | documentation.mdwn | 6 | ||||
| -rw-r--r-- | gdb.mdwn | 10 | ||||
| -rw-r--r-- | hurd/discussion.mdwn | 13 | ||||
| -rw-r--r-- | hurd/documentation.mdwn | 4 | ||||
| -rw-r--r-- | hurd/running/qemu.mdwn | 2 | ||||
| -rw-r--r-- | index.mdwn | 4 | ||||
| -rw-r--r-- | microkernel.mdwn | 8 | ||||
| -rw-r--r-- | open_issues/binutils.mdwn | 2 | ||||
| -rw-r--r-- | sidebar.mdwn | 3 | ||||
| -rw-r--r-- | user/MutoShack.mdwn | 2 |
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/` @@ -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) @@ -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]]. |