mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-28 01:28:53 +00:00
8 lines
136 B
Plaintext
8 lines
136 B
Plaintext
config.patch
|
|
misc.patch
|
|
no_short_enums.patch
|
|
host_target_combination.patch
|
|
prefer_pic.patch
|
|
libstdcxx_without_libc.patch
|
|
libgcc_s.patch
|