Age | Commit message (Collapse) | Author |
|
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)
|
|
|
|
|
|
Conflicts:
open_issues/profiling.mdwn
|
|
|
|
branch point; 2016-04-15)
|
|
|
|
|
|
|
|
01d2509c13f3aa7e03cb4cbf50fda08f98725ce4 (2016-03-24)
|