This website requires JavaScript.
Explore
Help
Register
Sign In
denshooter
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
mirror of
https://github.com/mmueller41/genode.git
synced
2026-01-22 04:52:56 +01:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
5eed6de91091c8bf658b7900a57b157ab2dbfe4e
genode
/
repos
/
base-hw
History
Reto Buerki
5eed6de910
hw_x86_64: Let _edge_triggered() operate on IRQ
...
Use the base IRQ in the _edge_triggered() utility function, not the remapped vector.
2015-05-26 09:39:50 +02:00
..
doc
imx31: remove platform completely (
fix
#1360
)
2015-01-12 14:24:15 +01:00
include
hw: static constexpr function when reinterpret cast is used
2015-05-26 09:39:47 +02:00
lib
hw_x86_64: Factor out initial PT to separate file
2015-05-20 17:52:58 +02:00
mk
hw: support Wandboard Quad (i.MX6)
2015-04-09 16:04:43 +02:00
run
CPU session: apply quota via relative weightings
2015-05-06 10:55:16 +02:00
src
hw_x86_64: Let _edge_triggered() operate on IRQ
2015-05-26 09:39:50 +02:00