Hi all, I am also new to rumpkernel, and it is a very interesting project.
I was wondering where can I find any performance testing reports about rumpkernel. Thanks a lot. Best regards, Daniel > On May 27, 2016, at 10:54, Du Yukun <[email protected]> wrote: > > Hi everyone! > > I am very new to rump kernel. > > When try to build a rumprun follow the tutorial as below: > > ``` > $ git clone http://repo.rumpkernel.org/rumprun > <http://repo.rumpkernel.org/rumprun> > $ cd rumprun > $ git submodule update --init > $ CC=cc ./build-rr.sh hw > ``` > I get the error as below: > > ``` > /include/machine/cpu.h:41:25: fatal error: rump_curlwp.h: No such file or > directory > ``` > > And after I download the relevant header from > http://ftp.jaist.ac.jp/pub/NetBSD/NetBSD-current/src/sys/rump/librump/rumpkern/ > > <http://ftp.jaist.ac.jp/pub/NetBSD/NetBSD-current/src/sys/rump/librump/rumpkern/> > > However, another problem occurs, which seems that I have download an > out-of-date headers. > And the header file I downloaded does not have the correct definition for > some strutures. > > > ----------- > Best Regards! > > ykdu
