Gitiles
Code Review
Sign In
gerrit.openfyde.cn
/
chromium.googlesource.com
/
chromiumos
/
third_party
/
coreboot
/
libhwbase
Clone this repo:
Branches
main
factory-14778.B
factory-brya-14909.124.B
factory-firmware-ti50-guc-14778.B
factory-guybrush-14908.B
release-R102-14695.B
release-R103-14816.B
release-R104-14909.B
release-R105-14989.B
release-R106-15054.B
More...
9946827
Add OWNERS and DIR_METADATA
by Tim Wawrzynczak
· 3 years, 5 months ago
factory-14778.B
factory-brya-14909.124.B
factory-firmware-ti50-guc-14778.B
factory-guybrush-14908.B
main
release-R102-14695.B
release-R103-14816.B
release-R104-14909.B
release-R105-14989.B
release-R106-15054.B
stabilize-14682.B
stabilize-14695.107.B
stabilize-14695.85.B
stabilize-14771.B
stabilize-14790.B
stabilize-14803.B
stabilize-14816.131.B
stabilize-14816.82.B
stabilize-14816.84.B
stabilize-14839.B
stabilize-14909.100.B
stabilize-14918.B
stabilize-14964.B
stabilize-14998.B
stabilize-15032.B
stabilize-15033.B
stabilize-15072.B
fc2102f
dynamic_mmio: Use volatile access type
by Nico Huber
· 4 years, 1 month ago
a3edc6e
Makefile: Add `-gnatw_R` to suppress spurious warning
by Angel Pons
· 5 years ago
d822df5
Makefile: Delay expansion of `$(ADAFLAGS)`
by Angel Pons
· 5 years ago
4e22910
Makefile: Adapt $(space) definition
by Angel Pons
· 5 years ago
9f87a10
time: Add T_First constant
by Adrian-Ken Rueegsegger
· 8 years ago
69e9086
mutime: Make Sinfo an imported constant
by Adrian-Ken Rueegsegger
· 5 years ago
bd0ed91
Makefile: Revise support for generated sources
by Nico Huber
· 7 years ago
455ed64
direct pci, debug: Fix minor style issues
by Nico Huber
· 7 years ago
6582141
Makefile.proof: Add --no-inlining to SPARKFLAGS
by Nico Huber
· 7 years ago
c38015d
mutime: Move to common/
by Nico Huber
· 7 years ago
a6a4909
time: Revise state abstraction
by Nico Huber
· 7 years ago
a60324f
Makefile.proof: Remove cvc4 from prover list
by Nico Huber
· 7 years ago
637f2a4
pci: Make HW.PCI.MMConf a public generic
by Nico Huber
· 7 years ago
6685971
linux pci: Add dummy PCI access for shared contracts
by Nico Huber
· 8 years ago
1404fbb
Makefile.proof: Reorder theorem provers
by Nico Huber
· 8 years ago
e05bf87
direct pci: Always initialize Address_State
by Nico Huber
· 8 years ago
ff3240b
pci: Add Linux sysfs implementation of HW.PCI.Dev
by Nico Huber
· 8 years ago
ae9b855
pci: Add bare metal HW.PCI.Dev implementation
by Nico Huber
· 8 years ago
36934fb
Add `debug.adc` and option DEBUG
by Nico Huber
· 8 years ago
More »