This website requires JavaScript.
Explore
Help
Sign In
ehmry
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
Code
Issues
Pull Requests
Releases
Wiki
Activity
b07d6eced8
genode
/
tool
/
grub2-head.img
Alexander Boettcher
44adc3c404
tool: use grub2 instead of grub1 for iso boot
...
Fixes
#2526
2017-11-30 11:23:01 +01:00
8.0 MiB
Raw
History
The file is too large to be shown.
View Raw