Gitiles
Code Review
Sign In
gerrit.openfyde.cn
/
chromium.googlesource.com
/
chromiumos
/
third_party
/
coreboot
/
libhwbase
/
HEAD
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
4a10482
Add Div_Round_Up() for positive integer types
by Nico Huber
· 8 years ago
ba37830
Makefile: Install generated spec files too
by Nico Huber
· 8 years ago
def89eb
posix file: Add procedure to query the size of a file
by Nico Huber
· 8 years ago
81294ed
gnat.adc: Allow exception handlers in pure Ada code
by Nico Huber
· 8 years ago
967dd0d
posix file: Add an `Offset` parameter and make `Len` optional
by Nico Huber
· 8 years ago
a43b1ee
posix file: Let the OS decide addresses to map to
by Nico Huber
· 8 years ago
ef4545a
pci: Add PCI device infrastructure
by Nico Huber
· 8 years ago
359e314
Add HW.Config for configuration constants
by Nico Huber
· 8 years ago
874113d
time: Juggle with types for proof
by Nico Huber
· 8 years ago
32f1489
posix file: Match newer warning wording
by Nico Huber
· 8 years ago
3bf6759
gnat.adc: Remove restriction `No_Secondary_Stack`
by Nico Huber
· 8 years ago
78ca582
Makefile: Compile binder's output w/o gnat config
by Nico Huber
· 8 years ago
f43881f
Makefile: Add support to bind/link application binaries
by Nico Huber
· 8 years ago
9d5d025
Makefile: Remove -gnatg from ADAFLAGS
by Nico Huber
· 8 years ago
f03ef4f
Add support to map the contents of a file
by Nico Huber
· 8 years ago
e86fff9
Makefile: Add simple compilation rule for C
by Nico Huber
· 8 years ago
5f82d1a
ada/dynamic_mmio: Drop unnecessary Volatile aspect
by Nico Huber
· 8 years ago
cf01ab6
Makefile: Fix whitespace and syntax highlighting nits
by Nico Huber
· 8 years ago
868915f
Makefile: Add support for out-of-tree sources
by Nico Huber
· 8 years ago
b664119
Add muen scheduling info as timer source
by Nico Huber
· 8 years ago
a5c8ba2
Add Div_Round_Closest() for positive integer types
by Nico Huber
· 8 years ago
aab715f
Relicense libhwbase under GPL v2+
by Nico Huber
· 9 years ago
ded07e8
Makefile.proof: Add all source files to the dependencies
by Nico Huber
· 9 years ago
f86fb18
Makefile: Add a strip_quotes macro
by Nico Huber
· 9 years ago
5e9b1b5
Initial upstream commit
by Nico Huber
· 9 years ago