This website requires JavaScript.
Explore
Help
Sign In
ExternalVendorCode
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
mirror of
https://github.com/genodelabs/genode.git
synced
2025-01-30 16:14:13 +00:00
Code
Issues
Actions
Packages
Projects
Releases
Wiki
Activity
genode
/
repos
/
libports
/
lib
/
mk
/
spec
/
arm_64
History
Johannes Schlatow
2c87c68a5d
depot: add ffi api and src archives
...
Fixes
genodelabs/genode#4201
2021-06-25 11:41:45 +02:00
..
ffi.mk
depot: add ffi api and src archives
2021-06-25 11:41:45 +02:00
gmp-mpn.mk
gmp: use architecture specific 'config.h'
2020-02-27 14:46:57 +01:00
libc-gen.mk
Avoid double slashes in select_from_repositories
2021-03-12 12:01:37 +01:00
libc-setjmp.mk
Libc: update port to Freebsd 12
2019-05-27 14:46:53 +02:00
libc.mk
libc: split task.cc into multiple files
2019-11-19 14:10:55 +01:00
libcrypto.mk
openssl: do not depend on ARM CPU probing
2021-02-23 12:07:16 +01:00
libm.mk
Port of OpenLibm
2019-05-27 14:46:53 +02:00
mesa.mk
mesa: enable ARM-64 port
2020-02-04 16:10:28 +01:00