kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update qemu-cheri* to a fresh snapshot.

Browse source 
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.
This commit is contained in:
Brooks Davis 2016-06-10 14:41:14 +00:00
parent 21050b0bab
commit 978460fe07
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=416683
5 changed files with 26 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
emulators/Makefile
View file

@ -118,6 +118,7 @@
SUBDIR += qemu
SUBDIR += qemu-cheri
SUBDIR += qemu-cheri128
SUBDIR += qemu-cheri128m
SUBDIR += qemu-devel
SUBDIR += qemu-launcher
SUBDIR += qemu-sbruno

4
emulators/qemu-cheri/Makefile.snapshot
View file

@ -4,6 +4,6 @@
#
# Generated by: files/gen-Makefile.snapshot.sh.
#
SNAPDATE= 20160514
SNAPDATE= 20160610
QEMU_COMMIT= afe5bbc23efd4093c1c35cd7d58e4cf8c1569143
QEMU_COMMIT= 09b76d7d846b439c2af66947ed688f23e42ccc0a

4
emulators/qemu-cheri/distinfo
View file

@ -1,2 +1,2 @@
SHA256 (CTSRD-CHERI-qemu-0.d20160514-afe5bbc23efd4093c1c35cd7d58e4cf8c1569143_GH0.tar.gz) = e15cbce6e52f6f4d6b4032c77e282ec65fdd92a0de61d1c80f78fd5aa22e7203
SIZE (CTSRD-CHERI-qemu-0.d20160514-afe5bbc23efd4093c1c35cd7d58e4cf8c1569143_GH0.tar.gz) = 11141289
SHA256 (CTSRD-CHERI-qemu-0.d20160610-09b76d7d846b439c2af66947ed688f23e42ccc0a_GH0.tar.gz) = 48d5fbe96de648bbc5fadf8dd996b8f24f04d7767b8e1138598704ffa9759f70
SIZE (CTSRD-CHERI-qemu-0.d20160610-09b76d7d846b439c2af66947ed688f23e42ccc0a_GH0.tar.gz) = 11147193

2
emulators/qemu-cheri128/Makefile
View file

@ -9,7 +9,7 @@ RUN_DEPENDS= qemu-system-cheri:emulators/qemu-cheri
MASTERDIR= ${.CURDIR}/../qemu-cheri
EXTRA_CFLAGS= -DCHERI_MAGIC128
EXTRA_CFLAGS= -DCHERI_128
PLIST= /dev/null
PLIST_FILES= bin/qemu-system-cheri128

20
emulators/qemu-cheri128m/Makefile Normal file
View file

@ -0,0 +1,20 @@
# Created by: Brooks Davis
# $FreeBSD$
PKGNAMESUFFIX= -cheri128m
COMMENT= QEMU emulator with CHERI CPU support (128-bit, magic compression)
RUN_DEPENDS= qemu-system-cheri:emulators/qemu-cheri
MASTERDIR= ${.CURDIR}/../qemu-cheri
EXTRA_CFLAGS= -DCHERI_MAGIC128
PLIST= /dev/null
PLIST_FILES= bin/qemu-system-cheri128m
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/cheri-softmmu/qemu-system-cheri \
${STAGEDIR}${PREFIX}/bin/qemu-system-cheri128m
.include <${MASTERDIR}/Makefile>