| non port: emulators/qemu-cheri/distinfo |
|
SVNWeb
|
Number of commits found: 30 |
|
Tue, 18 Jul 2023
|
[ 16:47 Brooks Davis (brooks)  ]    109fa97
emulators/qemu-cheri: update to a new snapshot
|
|
Wed, 3 May 2023
|
[ 12:41 Brooks Davis (brooks) ] 83c69a4
emulators/qemu-cheri: new snapshot
Improved support for GDB, particularly GDB 12.o
Sponsored by: DARPA
|
|
Mon, 18 Apr 2022
|
[ 16:48 Brooks Davis (brooks) ] 6417835
devel/qemu-cheri: update, drop MIPS, add Morello
Update to the latest CHERI Qemu, dropping support for the obsolete
MIPS targets (cheri128 and cheri128magic) and adding support for
Arm's Morello architecture.
|
|
Fri, 27 Mar 2020
|
[ 16:11 brooks ]  
Update qemu-cheri and llvm-cheri to recent snapshots.
In qemu-cheri:
* Fix build with llvm10 [0]
* Remove the 256-bit capability version
* Add CHERI RISC-V
PR: 244768 [0]
Submitted by: dim [0]
Sponsored by: DARPA
|
|
Thu, 12 Dec 2019
|
[ 00:02 brooks ]
Update to fresh qemu-cheri and llvm-cheri snapshots.
|
|
Wed, 9 Oct 2019
|
[ 21:59 brooks ]
Update CHERI LLVM and Qemu to fresh snapshots.
|
|
Mon, 28 Jan 2019
|
[ 23:32 brooks ]
Update to a new snapshow matching our upcoming paper.
Grab the build fix for 12.x and -CURRENT from r484695.
Sponsored by: DARPA, AFRL
|
|
Wed, 14 Nov 2018
|
[ 21:41 brooks ]
Update to a new snapshot.
|
|
Thu, 16 Aug 2018
|
[ 23:49 brooks ]
Update a newer snapshow to support code generated by the latest
devel/llvm-cheri.
Tell qemu to look for the smbd binary in the expected location (don't
add a RUN_DEPENDS entry as it's optional).
Sponsored by: DARPA, AFRL
|
|
Mon, 18 Jun 2018
|
[ 21:30 brooks ]
Update CHERI LLVM and QEMU to new snapshots.
Committed together as code generated by the new LLVM requires updated
(virtual) hardware.
Sponsored by: DARPA, AFRL
|
|
Thu, 19 Apr 2018
|
[ 17:42 brooks ]
Update to a new snapshot with support for new instructions.
|
|
Wed, 7 Feb 2018
|
[ 01:03 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
|
|
Tue, 31 Oct 2017
|
[ 10:05 brooks ]
Update to a new snapshot correcting 128-bit support.
|
|
Mon, 30 Oct 2017
|
[ 12:42 brooks ]
Update to a new snapshot. This version supports new and improved
instruction encodings that devel/llvm-cheri* will start emitting when
next updated.:
|
|
Thu, 12 Oct 2017
|
[ 17:14 brooks ]
Update a new shapshot.
Includes new encodings to improve instruction density.
|
|
Fri, 28 Jul 2017
|
[ 21:59 brooks ]
Update to a July 20th snapshot including 128-bit correctness fixes and
the CNExEq instruction.
Sponsored by: DARPA, AFRL
|
|
Wed, 29 Mar 2017
|
[ 20:10 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
|
|
Thu, 1 Dec 2016
|
[ 19:07 brooks ]
Update a fresh snapshot with a permission bug fix.
|
|
Wed, 24 Aug 2016
|
[ 18:20 brooks ]
Update to a fresh snapshot.
|
|
Fri, 24 Jun 2016
|
[ 23:18 brooks ]
Update to a new snapshot with improved compressed capability support.
|
|
Fri, 10 Jun 2016
|
[ 14:41 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.
|
|
Sat, 14 May 2016
|
[ 23:36 brooks ]
New snapshot fixing CLL/CSC instructions and adding programatic control of
instruction tracing from the guest os.
|
|
Thu, 12 May 2016
|
[ 23:25 brooks ]
Upgrade CHERI LLVM and Qemu ports to new snapshots supporting the
upcoming v5 ISA.
Sponsored by: DARPA, AFRL
|
|
Sat, 23 Apr 2016
|
[ 14:59 brooks ]
Update with the latest fixes.
|
|
Wed, 6 Apr 2016
|
[ 17:09 brooks ]
Update to an April 5th snapshot.
|
|
Thu, 10 Mar 2016
|
[ 23:05 brooks ]
Chase latest fixes..
|
|
Fri, 4 Mar 2016
|
[ 11:12 brooks ]
Update to a 2016-02-29 snapshot.
|
|
Mon, 22 Feb 2016
|
[ 19:41 brooks ]
Update qemu-cheri to a fresh snapshot and add a port to build the 128-bit
version.
|
|
Mon, 8 Feb 2016
|
[ 22:49 brooks ]
Update to the latest commit.
Add USES=makeinfo to hopefully fix build on HEAD.
Sponsored by: DARPA, AFRL
|
|
Tue, 26 Jan 2016
|
[ 22:48 brooks ]
Add a port of sson's fork of QEMU with CHERI CPU support.
Sponsored by: DARPA, AFRL
|
Number of commits found: 30 |
As an Amazon Associate I earn from qualifying purchases.