Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove some remaining CHERI MIPS references #1761

Merged
merged 14 commits into from
Jul 24, 2023
Merged

Conversation

bsdjhb
Copy link
Collaborator

@bsdjhb bsdjhb commented Jul 21, 2023

  • cheribsdbox: Remove MIPS references and workarounds.
  • README.md: Swap out reference to MIPS for ARMv8-A (Morello)
  • pci_user.c: Replace a MIPS reference with AArch64.
  • KDB_WHY_CHERI: Remove MIPS reference.
  • WITH_CHERI: Update list of relevant architectures.
  • makeman: Workaround bsd.compiler.mk pickiness in CheriBSD.
  • make targets: Add the aarch64c and riscv64c architectures.
  • Move the CHERI_CAPREVOKE / CHERI dependency to the right file.
  • Broken CHERI should implicitly disable CHERI_CAPREVOKE.
  • Map aarch64c to the aarch64 LLVM target.
  • Use more active language in CHERI build options to match upstream.
  • src.opts.mk: Remove stale MK_(BINUTILS|GCC)_BOOTSTRAP references.
  • Add build option descriptions for LIB64 and LIB64C.
  • Add a build options file for WITHOUT_CHERIBSDBOX.
  • src.conf.5: Regen.
  • .mergify_pause_paths: Add src.conf.5.

@bsdjhb
Copy link
Collaborator Author

bsdjhb commented Jul 21, 2023

This started as a small PR to just trim some more MIPS references after I noticed some in cheribsdbox's Makefile. I ended up down a rabbit hole of fixing the MIPS reference in WITH_CHERI that led to some build system fixes to get make makeman working and now using a fully regen'd src.conf.5.

@bsdjhb bsdjhb marked this pull request as ready for review July 21, 2023 19:39
@bsdjhb bsdjhb changed the title demips Remove some remaining CHERI MIPS references Jul 21, 2023
share/mk/src.opts.mk Outdated Show resolved Hide resolved
README.md Outdated Show resolved Hide resolved
@bsdjhb bsdjhb merged commit 4871f41 into CTSRD-CHERI:dev Jul 24, 2023
20 checks passed
@bsdjhb bsdjhb deleted the demips branch July 24, 2023 16:11
CRUNCH_PROGS_usr.bin+= qtrace
.endif
.if ${MACHINE_ARCH:Mmips64*} || ${MACHINE_ARCH:Mriscv64*}
CRUNCH_PROGS_usr.bin+= minimal_count_stats
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is separate, probably should be another condition

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Right now they would be duplicate, and we can always split it in the future if another architecture grows support for one of the other of these.

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess though the comment needs to only apply to qtrace

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah. Moving the comment would also work.

@@ -295,15 +287,9 @@ CRUNCH_ALIAS_w= uptime
CRUNCH_PROGS_usr.bin+=su

# Tracing currently only implemented for CHERI-QEMU architectures
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not quite true, CHERI-QEMU supports Morello but we don't have a magic tracing hint for it

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants