Google Git
Sign in
fuchsia/integration/d194d939159fbce26ebf1fb063d6de29525e0aac
commit
d194d939159fbce26ebf1fb063d6de29525e0aac
[log]
author
Adrian Danis <adanis@fuchsia.infra.roller.google.com>
Thu Feb 06 10:53:30 2025 -0800
committer
Copybara-Service <copybara-worker@google.com>
Thu Feb 06 10:57:15 2025 -0800
tree
cf86cf228a15dd8ee0dd454daee0c4ebd4ead2d7
parent
d2059a19adbcd9512b06d7749dd76101d065afeb [diff]
[roll] Roll fuchsia [kernel][vm] Expose page fault heuristic

Exposes the value of the optimistic page fault extension for the
purpose of writing tests to avoid needing to manually duplicate the
constant.

Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/1200846
Original-Revision: d7a34a989c599888e2ce1ce6115a3fd5a5efd538
GitOrigin-RevId: ecd746904e0a0154447cc359a941155746167b84
Change-Id: I08b45530ef52446e37e1f3fccb8aedac6da9141c
1 file changed
tree: cf86cf228a15dd8ee0dd454daee0c4ebd4ead2d7
  1. ctf/
  2. git-hooks/
  3. infra/
  4. third_party/
  5. cts
  6. firmware
  7. flower
  8. jiri.lock
  9. MILESTONE
  10. minimal
  11. prebuilts
  12. README.md
  13. stem
  14. test_durations
  15. toolchain
README.md

Integration

This repository contains Fuchsia's Global Integration manifest files.

Making changes

All changes should be made to the internal version of this repository. Our infrastructure automatically updates this version when the internal one changes.

Currently all changes must be made by a Google employee. Non-Google employees wishing to make a change can ask for assistance in one of the communication channels documented at get involved.

Obtaining the source

First install Jiri.

Next run:

$ jiri init
$ jiri import minimal https://fuchsia.googlesource.com/integration
$ jiri update

Third party

Third party projects should have their own subdirectory in ./third_party.