Re: Fwd: FOSDEM 2022

Hi all, On 14/12/21 8:09 am, Samuel Thibault wrote: > Almudena Garcia, le lun. 13 déc. 2021 17:04:06 +0100, a ecrit: >>> However, I'm not sure what the content of the talk should be.  Can you help >> suggest what I can talk about? >> Maybe could be interesting talk about the Rumpkernel implementat

[PATCH 2/5 v2] rumpdisk: Link with rumpvfs_nofifofs if present

--- config.make.in| 1 + configure.ac | 26 +++--- rumpdisk/Makefile | 10 ++ 3 files changed, 34 insertions(+), 3 deletions(-) diff --git a/config.make.in b/config.make.in index e4f856f2..7c113c37 100644 --- a/config.make.in +++ b/config.make.in @@ -108,6 +1

Re: [PATCH 2/5] rumpdisk: Link with rumpvfs_nofifofs if present

Damien Zammit, le dim. 26 déc. 2021 22:38:54 +1100, a ecrit: > -AC_CHECK_HEADER([rump/rump.h], [ > - AC_CHECK_LIB(rump, rump_init, [HAVE_LIBRUMP=yes], [HAVE_LIBRUMP=no]) > - ], [HAVE_LIBRUMP=no]) > +AC_CACHE_CHECK(for librump, rump_cv_HAVE_LIBRUMP, [dnl > +cat > conftest.c < +#include > +#define

[PATCH 3/5] rumpdisk: Use raw uncached character device rwdXd

This disables the rump buffer cache and avoids any magic translation that rump would do. * rumpdisk/block-rump.c (translate_name): Use `/dev/r%sd' format instead of `/dev/%sd'. --- rumpdisk/block-rump.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rumpdisk/block-rump.c

[PATCH 5/5] rumpdisk: Fault-in the memory pages

This ensures memory pages are allocated before written to. --- rumpdisk/block-rump.c | 14 -- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/rumpdisk/block-rump.c b/rumpdisk/block-rump.c index 7a4a167e..fe97bf85 100644 --- a/rumpdisk/block-rump.c +++ b/rumpdisk/block-r

[PATCH 4/5] pci-arbiter,rumpdisk: Lock all memory for swapping

This locks all memory in bootstrap processes so that disk driver dependencies don't get swapped out. --- pci-arbiter/main.c | 9 + rumpdisk/main.c| 8 2 files changed, 17 insertions(+) diff --git a/pci-arbiter/main.c b/pci-arbiter/main.c index 510e7dbc..602a545c 100644 --- a

[PATCH 2/5] rumpdisk: Link with rumpvfs_nofifofs if present

This is needed because some symbols have moved to another library. --- config.make.in| 1 + configure.ac | 35 --- rumpdisk/Makefile | 10 ++ 3 files changed, 43 insertions(+), 3 deletions(-) diff --git a/config.make.in b/config.make.in index e4f

[PATCH 0/5] hurd: Patches for new librump

These patches are needed for newer librump (>= 9.99). See my previous thread for details on how to configure grub. Cheers, Damien

[PATCH 1/5] rumpdisk: define _STANDALONE to avoid register_t

This works around a faulty HAVE_REGISTER_T in rump so the rump.h header can be included without errors. --- rumpdisk/block-rump.c | 1 + 1 file changed, 1 insertion(+) diff --git a/rumpdisk/block-rump.c b/rumpdisk/block-rump.c index 398289fb..a586a6e0 100644 --- a/rumpdisk/block-rump.c +++ b/rum