alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Files
91a21b0182e7afdfe8d4794d48e84aec3c811f53
genode-world/recipes/pkg
History
Norman Feske 91a21b0182 Add pkg/drivers_interactive-panda 
This package has been tested with the framebuffer.run and demo.run
scripts on the Pandaboard ES Rev B.
2020-06-26 11:05:56 +02:00
..
abuse
Rename <nitpicker> in runtime files to <gui>
2020-06-19 15:34:41 +02:00
audio_player
audio_player: add pkg recipe
2018-11-27 14:38:10 +01:00
avconv
add avconv support
2020-04-28 11:22:46 +02:00
avplay
Rename <nitpicker> in runtime files to <gui>
2020-06-19 15:34:41 +02:00
boot2java
jdk: boot to Java demo
2019-02-22 15:15:54 +01:00
chocolate-doom
Rename 'Nitpicker' namespace to 'Gui'
2020-06-19 15:41:48 +02:00
drivers_interactive-panda
Add pkg/drivers_interactive-panda
2020-06-26 11:05:56 +02:00
entropy_view
Rename nit_entropy to entropy_view
2020-06-19 15:48:43 +02:00
flif_view
Rename <nitpicker> in runtime files to <gui>
2020-06-19 15:34:41 +02:00
grafx2
Rename <nitpicker> in runtime files to <gui>
2020-06-19 15:34:41 +02:00
gtotp_report
Depot package of gtotp_report
2018-12-04 19:13:19 +01:00
jdk
jdk: use depot for 'java.run'
2019-02-22 15:15:08 +01:00
jitter_sponge
Jitter sponge: always ready to read
2019-03-31 14:25:55 +02:00
julia_fractal
Rename <nitpicker> in runtime files to <gui>
2020-06-19 15:34:41 +02:00
lwext4_fs
lwext4_fs: adapt pkg runtime to CE
2019-03-25 13:39:41 +01:00
numptyphysics
Rename <nitpicker> in runtime files to <gui>
2020-06-19 15:34:41 +02:00
python3
python3 package for sculpt
2018-07-03 15:23:09 +02:00
sdl_vnc
Rename <nitpicker> in runtime files to <gui>
2020-06-19 15:34:41 +02:00
show_input
Rename <nitpicker> in runtime files to <gui>
2020-06-19 15:34:41 +02:00
ssh_client
Rename nit_fb to gui_fb
2020-06-19 15:41:48 +02:00
terminal_editor
Rename 'Nitpicker' namespace to 'Gui'
2020-06-19 15:41:48 +02:00
test-rdrand
Utility for using the RDRAND instruction
2019-02-12 10:23:08 +01:00
tyrian
Rename <nitpicker> in runtime files to <gui>
2020-06-19 15:34:41 +02:00
umurmur
Port of umurmur 0.2.17
2018-09-29 11:10:37 +02:00