Port details
qemu-cheri128m QEMU emulator with CHERI CPU support (128-bit, magic compression)
0.d20171031 emulators Σ 0.d20171031Version of this port present on the latest quarterly branch. Maintainer: brooks@FreeBSD.org Port Added: 2016-06-10 14:41:45Last Update: 2018-02-07 01:03:29SVN Revision: 461121 Also Listed In: devel License: GPLv2WWW: 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 # USE_RC_SUBR (Service Scripts)
no SUBR information found for this port
Dependency lines :
qemu-cheri128m>0:emulators/qemu-cheri128m No installation instructions: This port has been deleted. PKGNAME: qemu-cheri128m 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
pkg-message: # FreshPorts was unable to extract/find any pkg message Master Sites: #
Number of commits found: 3 #
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 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 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 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.
Number of commits found: 3
