Google Git
Sign in
fuchsia/integration/5666e58347271bdbee2dfba12b49d85e322b0b4e
commit
5666e58347271bdbee2dfba12b49d85e322b0b4e
[log] [tgz]
author
Ethan Williams <ethanws@fuchsia.infra.roller.google.com>
Thu Dec 11 13:08:09 2025 -0800
committer
Copybara-Service <copybara-worker@google.com>
Thu Dec 11 13:10:26 2025 -0800
tree
1e16c1f8d151628e80344aeb66aefcfd4097eaa7
parent
303d69e9651827e54fbfe802d93f3ca5e4604c0b [diff]
[roll] Roll fuchsia [kernel][vm] Remove VmCowPages::direct_source_supplies_zero_pages

Instead, refer to PageSourceType.

Enumerating the types of page sources at the call site increases clarity.

Original-Bug: 465125983
Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/1440577
Original-Revision: 7f300cc60b9315bea0f71f39123c4e46d9c73011
GitOrigin-RevId: 7d557eedee326df9e42c169a63431ccc1460d7d9
Change-Id: Icedef49a75dc6ac852f3332584a90876952ce83d
1 file changed
tree: 1e16c1f8d151628e80344aeb66aefcfd4097eaa7
  1. ctf/
  2. git-hooks/
  3. infra/
  4. third_party/
  5. flower
  6. jiri.lock
  7. MILESTONE
  8. minimal
  9. prebuilts
  10. README.md
  11. stem
  12. test_durations
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.