简单来说，这就是一个仿真的过程，Spike作为一个指令集的模拟器，配合其他工具如pk、 fesrv 完成系统的模拟。 Spike本身使用C++实现，属于ESL中Untimed model。 Spike是个RISC-V指 …

可知，spke 在 使用 的时候通过“--isa=<name>”选项区分32位，还是64位应用。 2）与 spike 不同，pk 是在 安装 的时候区分了应用类别。 bbl loader . 如果跑64位应用，还要另外再安装 pk …

The RISC-V Proxy Kernel, pk, is a lightweight application execution environment that can host statically-linked RISC-V ELF binaries. It is designed to support tethered RISC-V …

根据 官方仓库 的 README 介绍，要安装运行 spike 模拟器，需要安装 riscv-toolchain, riscv-isa-sim (spike) 和 riscv-pk。 riscv-pk 是一个代理内核，包含 bootloader，可以帮助模拟一个系统环 …

2023年10月27日 · Spike在riscv-gnu-toolchain里面有源码，需要编译使用. 这一次编译会比较麻烦，因为下载的pk是要区分架构的，可能是32也可能是64，默认是64（32理论上也可以编译但 …

RISC-V Proxy Kernel, commonly known as pk is an application execution environment that can host statically linked RISC-V ELF binaries. Besides initialization and basic system setup, pk …

2024年5月6日 · RISC-V Proxy Kernel (riscv-pk)是RISC-V的一个轻量级应用程序执行环境，可以托管 静态链接 的RISC-V ELF二进制文件。 我们这里，以spike+pk+hello为例，进行说明。 接 …

2022年3月13日 · RISCV -GNU-Toolchain, riscv-isa-sim（即Spike, 它现在是riscv-tools的一部分，我是单独下载的）, riscv-pk（也在riscv-tools中） 我之前是安装了nuclei的工具链，本来以 …

如果要运行非 bare-metal 程序, 则需要 pk (Proxy Kernel), 为非 bare-metal 的 riscv 程序提供一个基本的执行环境, 类似于 qemu 的 user-mode emulation. 例如: bootloader; 中断向量; 加载 elf; 支 …

#! /bin/bash # # Script to build RISC-V ISA simulator, proxy kernel, and GNU toolchain.