diff options
author | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2010-08-18 18:24:55 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2010-08-18 18:24:55 -0700 |
commit | 29cc0dc9854c66f12bd65e12516f68ccd9a741da (patch) | |
tree | 23bd8147007d3d0fbb005f578f395e71f7d7d18d /pk/frontend.h | |
parent | e97220c9bf519b8e0f0b131a4f868331c4d526fb (diff) | |
download | pk-29cc0dc9854c66f12bd65e12516f68ccd9a741da.zip pk-29cc0dc9854c66f12bd65e12516f68ccd9a741da.tar.gz pk-29cc0dc9854c66f12bd65e12516f68ccd9a741da.tar.bz2 |
[pk,fesvr] improved proxykernel build system
Now uses a modified MCPPBS. Add --host=riscv to configure path.
Front-end server now just searches PATH for riscv-pk, so just install the pk
to somewhere in your path.
Diffstat (limited to 'pk/frontend.h')
-rw-r--r-- | pk/frontend.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pk/frontend.h b/pk/frontend.h new file mode 100644 index 0000000..86a8917 --- /dev/null +++ b/pk/frontend.h @@ -0,0 +1,8 @@ +#ifndef _RISCV_FRONTEND_H +#define _RISCV_FRONTEND_H + +#include <machine/syscall.h> + +sysret_t frontend_syscall(long n, long a0, long a1, long a2, long a3); + +#endif |