blob: c711a442c7179f2e1982d5890612d89b856dcece (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<longdescription>
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 implementations
with limited I/O capability and thus handles I/O-related system calls by proxying them to a host
computer.
This package also contains the Berkeley Boot Loader, bbl, which is a supervisor execution
environment for tethered RISC-V systems. It is designed to host the RISC-V Linux port.
</longdescription>
<maintainer type="person">
<name>Florian Schmaus</name>
<email>flow@gentoo.org</email>
</maintainer>
<upstream>
<remote-id type="github">riscv-software-src/riscv-pk</remote-id>
</upstream>
</pkgmetadata>
|