Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
open issues gnumach memory management page.
I also added a link to the 64-bit port on the 830MB RAM limit page.
|
|
|
|
links to other multiserver OSs. some tweaks to the systemd and upstart wiki pages. more info added to the genode OS page. I added a GNU Shepherd page.
|
|
mentioned that the xattr work is now finished. I added some commentary on the deficiencies page.
|
|
* I modified open_issues/device_drivers_and_io_systems to include rump kernel.
* I created a rump kernel wiki page, and I linked to it from the project_ideas/tcp_ip_stack webpage.
* I added an obsolete logo to the DDE page, to pointe people to the Rump kernel page.
|
|
* I added a current status to the physical memory management wiki page.
|
|
|
|
|
|
..., so switch to "The Mail Archive",
<https://www.mail-archive.com/faq.html#msgid>.
|
|
As part of the merge, fix some typos, adjust copyright headers, and apply a few
more minor changes.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
we don't have the issue without it any more, and it actually seems to pose other problems
|
|
|
|
|
|
|
|
|
|
(2016-02-10)
|
|
(2015-11-05)
|
|
|
|
|