cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add a port of sson's fork of QEMU with CHERI CPU support.

Browse Source 
Sponsored by:	DARPA, AFRL
This commit is contained in:
Brooks Davis 2016-01-26 22:48:49 +00:00
parent c41c115fdc
commit 834823146c
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=407321
7 changed files with 168 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
emulators/Makefile
View File

@ -115,6 +115,7 @@
SUBDIR += py-gns3-converter
SUBDIR += q4wine
SUBDIR += qemu
SUBDIR += qemu-cheri
SUBDIR += qemu-devel
SUBDIR += qemu-launcher
SUBDIR += qemu-sbruno

38
emulators/qemu-cheri/Makefile Normal file
View File

@ -0,0 +1,38 @@
# $FreeBSD$
PORTNAME= qemu
PORTVERSION= 0.d${SNAPDATE}
CATEGORIES= emulators devel
PKGNAMESUFFIX= -cheri
MAINTAINER= brooks@FreeBSD.org
COMMENT= QEMU emulator with CHERI CPU support
USE_GITHUB= yes
GH_ACCOUNT= CTSRD-CHERI
GH_TAGNAME= ${QEMU_COMMIT}
HAS_CONFIGURE= yes
USES= gmake libtool pkgconfig python:2,build
USE_XORG= pixman
USE_GNOME+= glib20
#MAKE_ENV+= BSD_MAKE="${MAKE}"
ONLY_FOR_ARCHS= amd64 i386 powerpc powerpc64
CONFLICTS_INSTALL= qemu-[0-9]* qemu-devel-[0-9]* qemu-sbruno-[0-9]*
.include "Makefile.snapshot"
CONFIGURE_ARGS+= \
--target-list=cheri-softmmu \
--disable-gtk \
--disable-linux-user \
--disable-linux-aio \
--disable-kvm \
--disable-smartcard-nss \
--disable-vte \
--disable-xen \
--extra-cflags=-g \
--localstatedir=/var
.include <bsd.port.mk>

9
emulators/qemu-cheri/Makefile.snapshot Normal file
View File

@ -0,0 +1,9 @@
# $FreeBSD$
#
# Generated file! Do not edit!
#
# Generated by: files/gen-Makefile.snapshot.sh.
#
SNAPDATE= 20160119
QEMU_COMMIT= d544cf7d537fadba2e3b914a13b3e3c99bd9e7d0

2
emulators/qemu-cheri/distinfo Normal file
View File

@ -0,0 +1,2 @@
SHA256 (CTSRD-CHERI-qemu-0.d20160119-d544cf7d537fadba2e3b914a13b3e3c99bd9e7d0_GH0.tar.gz) = b281f1e9a4370e36b31949f79c65842e0383ed989e8e504884789695b6252198
SIZE (CTSRD-CHERI-qemu-0.d20160119-d544cf7d537fadba2e3b914a13b3e3c99bd9e7d0_GH0.tar.gz) = 11139010

23
emulators/qemu-cheri/files/gen-Makefile.snapshot.sh Normal file
View File

@ -0,0 +1,23 @@
#!/bin/sh
#
# Simple script to fetch the latest commits via the github API. Requires
# curl and jq. Uses unauthenticated access which is ratelimited to 60
# queries per hour.
get_repo_sha()
{
curl https://api.github.com/repos/CTSRD-CHERI/$1/branches/qemu-cheri | \
jq -r '.commit.sha'
}
cat <<EOF > Makefile.snapshot
# \$FreeBSD\$
#
# Generated file! Do not edit!
#
# Generated by: files/gen-Makefile.snapshot.sh.
#
SNAPDATE= $(date +%Y%m%d)
QEMU_COMMIT= $(get_repo_sha qemu)
EOF

3
emulators/qemu-cheri/pkg-descr Normal file
View File

@ -0,0 +1,3 @@
The QEMU emulator with CHERI CPU support.
WWW: https://github.com/CTSRD-CHERI/qemu

92
emulators/qemu-cheri/pkg-plist Normal file
View File

@ -0,0 +1,92 @@
bin/qemu-ga
bin/qemu-img
bin/qemu-io
bin/qemu-nbd
bin/qemu-system-cheri
%%PORTDOCS%%%%DOCSDIR%%/qemu-doc.html
%%PORTDOCS%%%%DOCSDIR%%/qemu-tech.html
%%PORTDOCS%%%%DOCSDIR%%/qmp-commands.txt
share/man/man1/qemu-img.1
share/man/man1/qemu.1
share/man/man8/qemu-nbd.8
%%DATADIR%%/QEMU,cgthree.bin
%%DATADIR%%/QEMU,tcx.bin
%%DATADIR%%/acpi-dsdt.aml
%%DATADIR%%/bamboo.dtb
%%DATADIR%%/bios-256k.bin
%%DATADIR%%/bios.bin
%%DATADIR%%/efi-e1000.rom
%%DATADIR%%/efi-eepro100.rom
%%DATADIR%%/efi-ne2k_pci.rom
%%DATADIR%%/efi-pcnet.rom
%%DATADIR%%/efi-rtl8139.rom
%%DATADIR%%/efi-virtio.rom
%%DATADIR%%/keymaps/ar
%%DATADIR%%/keymaps/bepo
%%DATADIR%%/keymaps/common
%%DATADIR%%/keymaps/cz
%%DATADIR%%/keymaps/da
%%DATADIR%%/keymaps/de
%%DATADIR%%/keymaps/de-ch
%%DATADIR%%/keymaps/en-gb
%%DATADIR%%/keymaps/en-us
%%DATADIR%%/keymaps/es
%%DATADIR%%/keymaps/et
%%DATADIR%%/keymaps/fi
%%DATADIR%%/keymaps/fo
%%DATADIR%%/keymaps/fr
%%DATADIR%%/keymaps/fr-be
%%DATADIR%%/keymaps/fr-ca
%%DATADIR%%/keymaps/fr-ch
%%DATADIR%%/keymaps/hr
%%DATADIR%%/keymaps/hu
%%DATADIR%%/keymaps/is
%%DATADIR%%/keymaps/it
%%DATADIR%%/keymaps/ja
%%DATADIR%%/keymaps/lt
%%DATADIR%%/keymaps/lv
%%DATADIR%%/keymaps/mk
%%DATADIR%%/keymaps/modifiers
%%DATADIR%%/keymaps/nl
%%DATADIR%%/keymaps/nl-be
%%DATADIR%%/keymaps/no
%%DATADIR%%/keymaps/pl
%%DATADIR%%/keymaps/pt
%%DATADIR%%/keymaps/pt-br
%%DATADIR%%/keymaps/ru
%%DATADIR%%/keymaps/sl
%%DATADIR%%/keymaps/sv
%%DATADIR%%/keymaps/th
%%DATADIR%%/keymaps/tr
%%DATADIR%%/kvmvapic.bin
%%DATADIR%%/linuxboot.bin
%%DATADIR%%/multiboot.bin
%%DATADIR%%/openbios-ppc
%%DATADIR%%/openbios-sparc32
%%DATADIR%%/openbios-sparc64
%%DATADIR%%/palcode-clipper
%%DATADIR%%/petalogix-ml605.dtb
%%DATADIR%%/petalogix-s3adsp1800.dtb
%%DATADIR%%/ppc_rom.bin
%%DATADIR%%/pxe-e1000.rom
%%DATADIR%%/pxe-eepro100.rom
%%DATADIR%%/pxe-ne2k_pci.rom
%%DATADIR%%/pxe-pcnet.rom
%%DATADIR%%/pxe-rtl8139.rom
%%DATADIR%%/pxe-virtio.rom
%%DATADIR%%/q35-acpi-dsdt.aml
%%DATADIR%%/qemu-icon.bmp
%%DATADIR%%/qemu_logo_no_text.svg
%%DATADIR%%/s390-ccw.img
%%DATADIR%%/s390-zipl.rom
%%DATADIR%%/sgabios.bin
%%DATADIR%%/slof.bin
%%DATADIR%%/spapr-rtas.bin
%%DATADIR%%/trace-events
%%DATADIR%%/u-boot.e500
%%DATADIR%%/vgabios-cirrus.bin
%%DATADIR%%/vgabios-qxl.bin
%%DATADIR%%/vgabios-stdvga.bin
%%DATADIR%%/vgabios-virtio.bin
%%DATADIR%%/vgabios-vmware.bin
%%DATADIR%%/vgabios.bin