Google Git
Sign in
fuchsia/integration/387dcf53d118529dbd166d002ac1a3064b6da3d1
commit
387dcf53d118529dbd166d002ac1a3064b6da3d1
[log]
author
Joshua Seaton <joshuaseaton@fuchsia.infra.roller.google.com>
Wed Nov 05 17:03:20 2025 -0800
committer
Copybara-Service <copybara-worker@google.com>
Wed Nov 05 17:04:42 2025 -0800
tree
0377d25c875f936d711be14408a98b7775794a60
parent
9ec3fb9098e7d79899e67b0e433bb8512aa2b2be [diff]
[roll] Roll fuchsia [kernel][lib/arch] s/page-table.h/paging-traits.h

This gives a clearer description and namespace for the contents of these
headers.

Original-Bug: 42146863
Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/1414419
Original-Revision: 56357142408c226d0e1b97aec72ee65fb249961e
GitOrigin-RevId: bdefe49bf5e3d513dab4fa22df94f47d78d696ee
Change-Id: Ibefda60168a8541df24d98051f7a017ed859eecf
1 file changed
tree: 0377d25c875f936d711be14408a98b7775794a60
  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.