diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2012-11-29 01:33:22 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2012-11-29 01:33:22 +0100 |
| commit | 5bd36fdff16871eb7d06fc26cac07e7f2703432b (patch) | |
| tree | b430970a01dfc56b8d41979552999984be5c6dfd /open_issues/gnumach_page_cache_policy.mdwn | |
| parent | 2603401fa1f899a8ff60ec6a134d5bd511073a9d (diff) | |
IRC.
Diffstat (limited to 'open_issues/gnumach_page_cache_policy.mdwn')
| -rw-r--r-- | open_issues/gnumach_page_cache_policy.mdwn | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/open_issues/gnumach_page_cache_policy.mdwn b/open_issues/gnumach_page_cache_policy.mdwn index 375e153b..d128c668 100644 --- a/open_issues/gnumach_page_cache_policy.mdwn +++ b/open_issues/gnumach_page_cache_policy.mdwn @@ -771,3 +771,15 @@ License|/fdl]]."]]"""]] ## IRC, freenode, #hurd, 2012-07-26 <braunr> hm i killed darnassus, probably the page cache patch again + + +## IRC, freenode, #hurd, 2012-09-19 + + <youpi> I was wondering about the page cache information structure + <youpi> I guess the idea is that if we need to add a field, we'll just + define another RPC? + <youpi> braunr: ↑ + <braunr> i've done that already, yes + <braunr> youpi: have a look at the rbraun/page_cache gnumach branch + <youpi> that's what I was referring to + <braunr> ok |