rename binary to pk; change argv handling

the new fesvr approach makes argv[0] = pk, rather than user program's name

1 files changed, 38 insertions, 0 deletions

diff --git a/pk/pk.S b/pk/pk.S
new file mode 100644
index 0000000..635bc29
--- /dev/null
+++ b/pk/pk.S
@@ -0,0 +1,38 @@
+#include "pcr.h"
+#include "pk.h"
+
+.section .text,"ax",@progbits
+.globl _start
+.ent _start
+_start:
+
+  lui sp, %hi(stack_top)
+  add sp, sp, %lo(stack_top)
+
+  lui t0, %hi(trap_entry)
+  add t0, t0, %lo(trap_entry)
+  mtpcr t0, ASM_CR(PCR_EVEC)
+
+#ifdef __riscv64
+  li t0, SR_S | SR_PS | SR_ET | SR_EC | SR_S64
+#else
+  li t0, SR_S | SR_PS | SR_ET | SR_EC
+#endif
+  or t1, t0, SR_EF | SR_EV
+  mtpcr t1, ASM_CR(PCR_SR)
+  mfpcr t1, ASM_CR(PCR_SR)
+  mtpcr t0, ASM_CR(PCR_SR)
+  
+  and t2, t1, SR_EF
+  lui t0, %hi(have_fp)
+  sw  t2, %lo(have_fp)(t0)
+  
+  and t2, t1, SR_EV
+  lui t0, %hi(have_vector)
+  sw  t2, %lo(have_vector)(t0)
+
+  lui t0, %hi(boot)
+  jalr.j t0, %lo(boot)
+  #j boot
+
+.end _start