aboutsummaryrefslogtreecommitdiff
path: root/pk/pk.mk.in
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@s144.Millennium.Berkeley.EDU>2010-10-15 17:51:37 -0700
committerAndrew Waterman <waterman@s144.Millennium.Berkeley.EDU>2010-10-15 17:51:37 -0700
commitb4fd490d689415205cf315c02f673b9386ece337 (patch)
tree73f93d81b6241b1d1204d7add68af065f9638ea9 /pk/pk.mk.in
parent2b7fd5fa6ac24f3d6d6cb8f0d6c1c32b85c39f02 (diff)
downloadpk-b4fd490d689415205cf315c02f673b9386ece337.zip
pk-b4fd490d689415205cf315c02f673b9386ece337.tar.gz
pk-b4fd490d689415205cf315c02f673b9386ece337.tar.bz2
[pk, sim] added FPU emulation support to proxy kernel
Diffstat (limited to 'pk/pk.mk.in')
-rw-r--r--pk/pk.mk.in10
1 files changed, 9 insertions, 1 deletions
diff --git a/pk/pk.mk.in b/pk/pk.mk.in
index a9957ed..1de66e8 100644
--- a/pk/pk.mk.in
+++ b/pk/pk.mk.in
@@ -1,14 +1,22 @@
pk_subproject_deps = \
+ softfloat_riscv \
+ softfloat \
pk_hdrs = \
pk.h \
+ pcr.h \
+ atomic.h \
+ file.h \
+ frontend.h \
+ riscv-opc.h \
-pk_srcs = \
+pk_c_srcs = \
pk.c \
file.c \
syscall.c \
handlers.c \
frontend.c \
+ fp.c \
pk_asm_srcs = \
entry.S \