non port: emulators/qemu-cheri/Makefile.snapshot |
Number of commits found: 31 |
Tuesday, 18 Jul 2023
|
16:47 Brooks Davis (brooks)
emulators/qemu-cheri: update to a new snapshot
109fa97 |
Wednesday, 3 May 2023
|
12:41 Brooks Davis (brooks)
emulators/qemu-cheri: new snapshot
Improved support for GDB, particularly GDB 12.o
Sponsored by: DARPA
83c69a4 |
Monday, 18 Apr 2022
|
16:48 Brooks Davis (brooks)
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.
6417835 |
Tuesday, 6 Apr 2021
|
14:31 Mathieu Arnold (mat)
Remove # $FreeBSD$ from Makefiles.
305f148 |
Friday, 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
|
Thursday, 12 Dec 2019
|
00:02 brooks
Update to fresh qemu-cheri and llvm-cheri snapshots.
|
Wednesday, 9 Oct 2019
|
21:59 brooks
Update CHERI LLVM and Qemu to fresh snapshots.
|
Monday, 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
|
Wednesday, 14 Nov 2018
|
21:41 brooks
Update to a new snapshot.
|
Thursday, 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
|
Monday, 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
|
Thursday, 19 Apr 2018
|
17:42 brooks
Update to a new snapshot with support for new instructions.
|
Wednesday, 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
|
Tuesday, 31 Oct 2017
|
10:05 brooks
Update to a new snapshot correcting 128-bit support.
|
Monday, 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.:
|
Thursday, 12 Oct 2017
|
17:14 brooks
Update a new shapshot.
Includes new encodings to improve instruction density.
|
Friday, 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
|
Wednesday, 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
|
Thursday, 1 Dec 2016
|
19:07 brooks
Update a fresh snapshot with a permission bug fix.
|
Wednesday, 24 Aug 2016
|
18:20 brooks
Update to a fresh snapshot.
|
Friday, 24 Jun 2016
|
23:18 brooks
Update to a new snapshot with improved compressed capability support.
|
Friday, 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.
|
Saturday, 14 May 2016
|
23:36 brooks
New snapshot fixing CLL/CSC instructions and adding programatic control of
instruction tracing from the guest os.
|
Thursday, 12 May 2016
|
23:25 brooks
Upgrade CHERI LLVM and Qemu ports to new snapshots supporting the
upcoming v5 ISA.
Sponsored by: DARPA, AFRL
|
Saturday, 23 Apr 2016
|
14:59 brooks
Update with the latest fixes.
|
Wednesday, 6 Apr 2016
|
17:09 brooks
Update to an April 5th snapshot.
|
Thursday, 10 Mar 2016
|
23:05 brooks
Chase latest fixes..
|
Friday, 4 Mar 2016
|
11:12 brooks
Update to a 2016-02-29 snapshot.
|
Monday, 22 Feb 2016
|
19:41 brooks
Update qemu-cheri to a fresh snapshot and add a port to build the 128-bit
version.
|
Monday, 8 Feb 2016
|
22:49 brooks
Update to the latest commit.
Add USES=makeinfo to hopefully fix build on HEAD.
Sponsored by: DARPA, AFRL
|
Tuesday, 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: 31 |