denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-22 13:02:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
d2b21d294eadd169e6afdf262c613e208d2f72a0
genode/repos/os/include/spec
History
Sebastian Sumpf c3cf7f3c3a riscv: ISA-1.9.1 and GCC-6.3.0 adaptions 
Adds 1.9.1 support to base-hw

Note:
* the kernel timer is not working
* dynamic linking is currently not supported
2017-05-31 13:16:24 +02:00
..
arm/os
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
arm_v6/trace
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
arm_v7/trace
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
exynos4/regulator
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
exynos5/regulator
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
imx53
API documentation refinements
2017-05-31 13:16:21 +02:00
riscv/trace
riscv: ISA-1.9.1 and GCC-6.3.0 adaptions
2017-05-31 13:16:24 +02:00
rpi
API documentation refinements
2017-05-31 13:16:21 +02:00
x86
API documentation refinements
2017-05-31 13:16:21 +02:00
x86_32
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
x86_64
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00