alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
266 Commits 3 Branches 0 Tags
85751b6f124b7c7369472619ceac08993adb026b
Commit Graph

266 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Emery Hemingway
85751b6f12 Flif_capture: move RPC to additional entrypoint 2019-01-31 14:33:38 +01:00
Emery Hemingway
71afee4799 Flif_capture screenshot tool 
A tool for capturing screenshots from a Framebuffer session.
 2019-01-31 14:33:38 +01:00
Emery Hemingway
6628d03126 Port of OCaml bytecode runtime 
A minimal runtime for executing portable OCaml bytecode.
A bytecode standard library is not yet provided.
 2019-01-21 14:24:28 +01:00
Norman Feske
ffc8c453e2 Adaptation to changed timer location 
Related to genodelabs/genode#3101
 2019-01-14 12:36:10 +01:00
Emery Hemingway
c042419226 Port of the c-toxcore Tox library 
Port of the C reference implementation of the Tox chat protocol.
Includes a native DHT bootstrap node, see run/tox_dht_bootstrap.

https://tox.chat/
 2019-01-10 16:44:30 +01:00
Emery Hemingway
a09355d77d Port of libsodium 1.0.16 
https://libsodium.org/
 2019-01-10 16:44:30 +01:00
Emery Hemingway
6ca9087a23 Simple Qt5 text editor 
The "io_editor" component is a simple Qt5 text editor that writes to
standard out and reads back from stdin. It is intended for use with an
interactive interpreter, such as a shell. The "terminal_editor" depot
package is provided to connect the editor to a terminal server.
 2019-01-07 09:15:54 +01:00
Josef Söntgen
fd713e737d Add FUSE implementation and dependencies 
Imported from the genode repository.

Fixes #129.

Issue genodelabs/genode#3104.
 2019-01-04 14:31:29 +01:00
Norman Feske
4ab0ad26ca Add libav, avplay, and qt_avplay 
Imported from the genode repository.

Issue genodelabs/genode#3103
 2019-01-04 12:06:30 +01:00
Norman Feske
cee6b89cce Add libsdl headers 
This is a follow-up commit to "Port of libsdl, mixer, image, net, ttf".
Besides adding the missing includes, it adjusts the api recipe.

Issue genodelabs/genode#3100
 2019-01-04 11:58:10 +01:00
Norman Feske
c3ba011794 Port of libsdl, mixer, image, net, ttf 
Imported from genode repository

Issue genodelabs/genode#3100
 2019-01-03 16:22:58 +01:00
Norman Feske
c698269e5c Port of Dosbox 
Imported from the genode repository

Issue genodelabs/genode#3099
 2019-01-03 15:34:39 +01:00
Emery Hemingway
14098623de Port of Snappy-1.1.7 
A fast compressor/decompressor
https://github.com/google/snappy
 2018-12-27 00:13:08 +01:00
Emery Hemingway
6bd43a2df5 Depot package of gtotp_report 
This package relies on its configuration to be supplied by a launcher
file or through the deploy configuration. How to protect the secret at
rest is an open issue.
 2018-12-04 19:13:19 +01:00
Emery Hemingway
b4b9bf0a4d Update crypto++ to version 7.0.0 2018-12-04 19:13:19 +01:00
Josef Söntgen
bb328c629c Remove pthread library from $(LIBS) 
It was moved into the libc.

Fixes #126.
 2018-11-28 11:41:39 +01:00
Josef Söntgen
474a49a32c Rename ssh_client pkg 
It is a client after all and it prevents clashing with the (currently
not existing) ssh_terminal pkg receipe.

Fixes #119.
 2018-11-27 14:42:21 +01:00
Sebastian Sumpf
c5cebdd192 jdk: OpenJDK for Genode 
OpenJDK version 9 for Genode, contains the interpreter/compiler version
of the HotSpot virtual machine for x86_64 and ARM.

fixes #123
 2018-11-27 14:39:49 +01:00
Josef Söntgen
cc1d629181 audio_player: add pkg recipe 
Fixes #125.
 2018-11-27 14:38:10 +01:00
Josef Söntgen
6a33ecac84 lwext4_fs: add Ext2/3/4 fs server using lwext4 
Fixes #124.
 2018-11-27 14:36:44 +01:00
Josef Söntgen
b35caec726 lwext4: add port of ext2/3/4 filesystem library 
Besides the missing supported features noted in the README, missing
support for extending files via truncation/seeking might limit its
application.

Issue #124.
 2018-11-27 14:36:44 +01:00
Wouter van Oijen
6cf7ec6c35 Fix grafx2 port (hash was not correct) 
Fixes #122
 2018-11-22 16:39:29 +01:00
Wouter van Oijen
67d300238c Fix atari800 port (hash was not correct) 
Fixes #121
 2018-11-22 16:35:32 +01:00
Norman Feske
84211017ee julia_fractal: remove superfluous constructor args 2018-11-20 09:05:11 +01:00
Norman Feske
44cdb1aaca Adaptation to renamed wm pkg 
The 'wm' pkg is now called 'motif_wm'.

https://github.com/genodelabs/genode/issues/3024
 2018-11-20 09:04:10 +01:00
Emery Hemingway
a07707f08d Entropy visualizer for Nitpicker 2018-11-12 15:09:32 +01:00
Emery Hemingway
33ebdeee1f Jitter sponge entropy server 
A terminal server that reads out entropy generated from CPU jitter
amplified using a Keccak sponge construction.
 2018-11-12 15:09:29 +01:00
Emery Hemingway
1f028daae3 Port of the eXtended Keccak Code Package 
https://github.com/XKCP/XKCP
https://keccak.team/keccak.html
 2018-11-12 15:09:26 +01:00
Josef Söntgen
4d10959476 Port of protobuf-c 1.3.1 
Issue #118.
 2018-10-01 10:26:28 +02:00
Josef Söntgen
6af2375ec9 Port of libconfig-1.7.2 
Issue #118.
 2018-10-01 10:26:08 +02:00
Josef Söntgen
1a29597d57 Port of umurmur 0.2.17 
Fixes #118.
 2018-09-29 11:10:37 +02:00
Emery Hemingway
c8774a9b6a Add README, LICENSE to TempleOS, remove Nic connection 2018-09-03 13:17:46 +02:00
Emery Hemingway
6dbbba4603 Use new lwIP netif facility for tftp_rom 
LwIP can be used without libc or its plugin libraries.

Fix #36
 2018-09-03 11:47:17 +02:00
Emery Hemingway
2a45dc173f TempleOS package for VirtualBox on NOVA. 
Terry Davis, the creator of TempleOS, passed away this week.
 2018-09-03 11:47:17 +02:00
Josef Söntgen
2ef4fffac1 chocolate-doom: create deployable pkg 
Fixes #115.
 2018-08-31 13:46:00 +02:00
Emery Hemingway
d123c74e76 Remove fetchurl 
Fetchurl has been moved to the libports repository.
 2018-08-30 13:40:27 +02:00
Norman Feske
dd3a8b9e7e Adaptation to removed support for static binaries 
Related to https://github.com/genodelabs/genode/issues/2866
 2018-08-09 21:02:02 +02:00
Emery Hemingway
5fff9d4b5b SSH terminal client 
A client of the Terminal service that connects to a shell on a remote
SSH server.

It is configured with a "host" file found in its root directory with the
following format:
<host name="sdf-eu.org" port="22" user="root" pass="foo" known="yes"/>

The port, pass, and known attributes are optional. The client will first
try to authenticate with a keypair found in the root directory with a
fallback to password authentication. The client will automatically
disconnect from hosts that are not found in "/known_hosts", unless the
"known" attribute is set to the negative in the host file.
 2018-08-07 17:24:13 +02:00
Emery Hemingway
2ba33d38a9 Post-quantum signing utilities 
A trio of utilities for generating SPHINCS⁺-SHAKE256-192f signatures.
This is a post-quantum, hash-based signature scheme with 194-bit
security.

It is also a test for using the Nimble package manager for managing Nim
target dependencies.
 2018-07-09 13:40:52 +02:00
Emery Hemingway
affa36eb2d Remove Nim libraries 
Libraries moved to https://github.com/ehmry/nim-genode
 2018-07-09 13:39:50 +02:00
Johannes Schlatow
a67a5de5ef python3 package for sculpt 
Provides recipes for deploying python3 on sculpt.
Also adds the feature of triggering the execution of python scripts
on ROM updates (see python3.run).
 2018-07-03 15:23:09 +02:00
Norman Feske
a5d06a5ce8 julia_fractal.run: fetch components from depot 
With this patch, the run script can be executed on platforms other than
Linux.

Issue #109
 2018-06-27 10:56:07 +02:00
Johannes Schlatow
a56e43f8af python3 recipes 2018-06-27 09:03:37 +02:00
Johannes Schlatow
ea789fda0c python3: base-nova compatibility 
The vfs is now populated with the python libs using a tar file system.
This is necessary because providing the zip from the rom did not work on NOVA.
The issue here is that python's zipimporter uses fseek with SEEK_END to
find the zip header. Unfortunately, the file size cannot be correctly
determined from the ROM session (see #1920) so that the fseek fails.
 2018-06-27 09:03:37 +02:00
Daniel Collins
e6ee017e18 added a program that displays julia fractals 
Issue #109
 2018-06-26 16:45:42 +02:00
Sebastian Sumpf
62de16158d run: rename 'check_installed' to 'installed_command' 
issue genodelabs/genode#2853
 2018-06-22 15:58:46 +02:00
Johannes Schlatow
2e3f012eca ports: python3 
Fixes #108
 2018-06-20 11:22:06 +02:00
Johannes Schlatow
a564b342c4 zynq: fix private timer clk in board defs 
Fixes #107
 2018-06-15 10:44:25 +02:00
Johannes Schlatow
fb4833f972 ports: minor changes in glucose, lemon and keynote 
- automatically set CC_CXX_WARN_STRICT if libs are imported
- set default cap quota

Issue #106
 2018-06-15 10:44:14 +02:00
Johannes Schlatow
8df8ac1254 fix remote_rom 
Issue #106
 2018-06-15 10:44:09 +02:00