Port details |
- qemu-cheri128 QEMU emulator with CHERI CPU support (128-bit)
- 0.d20171031 emulators
=0 0.d20171031Version of this port present on the latest quarterly branch.
- Maintainer: brooks@FreeBSD.org
- Port Added: 2016-02-22 19:41:09
- Last Update: 2018-02-07 01:03:29
- SVN Revision: 461121
- Also Listed In: devel
- License: GPLv2
- WWW:
- https://github.com/CTSRD-CHERI/qemu
- Description:
- The QEMU emulator with CHERI CPU support.
WWW: https://github.com/CTSRD-CHERI/qemu
-
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- qemu-cheri128>0:emulators/qemu-cheri128
- No installation instructions:
- This port has been deleted.
- PKGNAME: qemu-cheri128
- Flavors: there is no flavor information for this port.
- ONLY_FOR_ARCHS: amd64 i386 powerpc powerpc64
- distinfo:
- TIMESTAMP = 1509443374
SHA256 (CTSRD-CHERI-qemu-0.d20171031-977a4022bf41bfd2f9fce067f84936f65d2a63b1_GH0.tar.gz) = 753fdfc013427865dfd7ea684cd0151a300042592ae9c46b6026c9c75bd33709
SIZE (CTSRD-CHERI-qemu-0.d20171031-977a4022bf41bfd2f9fce067f84936f65d2a63b1_GH0.tar.gz) = 11158023
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Master port: emulators/qemu-cheri
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake : devel/gmake
- makeinfo : print/texinfo
- pkgconf>=1.3.0_1 : devel/pkgconf
- python2.7 : lang/python27
- python2 : lang/python2
- pixman-1.pc : x11/pixman
- Runtime dependencies:
-
- qemu-system-i386 : emulators/qemu
- pixman-1.pc : x11/pixman
- Library dependencies:
-
- libgnutls.so : security/gnutls
- libnettle.so : security/nettle
- libintl.so : devel/gettext-runtime
- libglib-2.0.so : devel/glib20
- libintl.so : devel/gettext-runtime
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- N/A
- USES:
- gettext-runtime gmake libtool makeinfo pkgconfig python:2,build gnome
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 5
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
This is a slave port. You may also want to view the commits to the master port: emulators/qemu-cheri | Commit | Credits | Log message |
0.d20171031 07 Feb 2018 01:03:29 |
brooks |
Update to a new snapshot.
Consolidate the qemu-cheri ports into one now that they can be built in a
single tree (thanks to arichardson@).
Sponsored by: DARPA, AFRL |
0.d20170327 29 Mar 2017 20:10:09 |
brooks |
Update to a fresh snapshot.
Rework to depend on emulators/qemu for any ancillary files rather than
installing a conflicting set.[0]
Disable more automatically detected bits so dependencies are correct
when built manually.
Requested by: jhb[0]
Sponsored by: DARPA, AFRL |
0.d20160610 10 Jun 2016 14:41:14 |
brooks |
Update qemu-cheri* to a fresh snapshot.
Switch qemu-cheri128 to compressed 128-bit capabilities per the soon to be
released ISA v5. Introduce a new qemu-cheri128m port which retains
support for 128-bit capabilities that magically store 256-bit of data
preserving semantic compatiblity with 256-bit capabilities while having
128-bit size and alignment requirments. |
0.d20160310 01 Apr 2016 14:00:57 |
mat |
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.
With hat: portmgr
Sponsored by: Absolight |
0.d20160220 22 Feb 2016 19:41:00 |
brooks |
Update qemu-cheri to a fresh snapshot and add a port to build the 128-bit
version. |
Number of commits found: 5
|