Commit Graph

40 Commits

Author SHA1 Message Date
Norman Feske
39eff7f249 Tool for assembling API/source/binary archives
Issue 
2017-05-31 13:15:56 +02:00
Norman Feske
f014c2fac6 clean up .gitignore
Since we moved to the new ports mechanism, the source tree is clean from
downloaded 3rd-party code.
2016-11-08 15:26:33 +01:00
Norman Feske
9b3ae0ed2d Add repos/world to .gitignore 2016-08-29 17:27:09 +02:00
Christian Helmuth
5d18e0f23b linux_drivers is obsolete 2015-05-06 10:55:23 +02:00
Christian Prochaska
c11b02dfd4 gdb: save generated files in the build directory
Fixes 
2015-03-13 12:17:26 +01:00
Christian Prochaska
d76220d6a9 qt5: save generated source files in the contrib directory
Fixes 
2015-03-13 12:17:23 +01:00
Christian Prochaska
4973f2a310 Qt5: migrate to new ports mechanism
Fixes .
2014-08-22 16:16:40 +02:00
Norman Feske
7d4f8fa746 base-nova: migrate to new ports mechanism
Issue 
2014-05-27 11:14:43 +02:00
Norman Feske
35cf48cdc8 base-okl4: migrate to new ports mechanism
Issue 
2014-05-27 11:14:42 +02:00
Norman Feske
85a2ebc1c4 libports: migrate to new ports mechanism
Issue 
2014-05-27 11:14:42 +02:00
Norman Feske
a128b40f03 Tool for preparing a single 3rd-party port
Issue 
2014-05-27 11:14:42 +02:00
Christian Prochaska
fe5c31b774 Add the 'build' directory to '.gitignore'
Issue .
2014-05-14 16:08:00 +02:00
Norman Feske
ca971bbfd8 Move repositories to 'repos/' subdirectory
This patch changes the top-level directory layout as a preparatory
step for improving the tools for managing 3rd-party source codes.
The rationale is described in the issue referenced below.

Issue 
2014-05-14 16:08:00 +02:00
Sebastian Sumpf
9251b1ede8 rump: Port of the rump kernels to Genode
For further information see: http://wiki.netbsd.org/rumpkernel/. In this version
I ported the central rump components to Genode in order to take advantage of
NetBSD file system implementation. The new 'dde_rump' repository contains the
Genode version of the rump libraries and a 'rump_fs' server that implements
Genode file-system-session interface. Currently ext2, iso9660, and fat
file-systems are supported.

Issue 
2014-02-28 10:11:08 +01:00
Norman Feske
d4900ad54d Add exfat and fuse-ext2 includes to .gitignore 2013-11-28 08:22:24 +01:00
Christian Prochaska
6a395d9a29 Qt5: enable QML support
This patch enables experimental QML support in Qt5.

Only the QtQuick plugin is available yet.

Currently runs best on Linux and has some problems on NOVA and Fiasco.OC.

Fixes .
2013-11-28 08:22:24 +01:00
Norman Feske
fe0d9c0775 stdcxx: Add 'initializer_list' header of supc++
This header is needed to build icu when C++11 is enabled.
2013-09-23 14:26:02 +02:00
Christian Prochaska
7b54eaaee1 libports: add Qt5
Fixes .
2013-08-13 17:27:40 +02:00
Christian Prochaska
3ec16da03f libports: add ICU library
The ICU (International Components for Unicode) library is needed for Qt5.

Fixes .
2013-08-13 17:08:26 +02:00
Christian Prochaska
6741af07aa stdcxx: create 'typeinfo' symlink
The 'typeinfo' header file is needed by the ICU library.

Issue .
2013-08-13 17:08:26 +02:00
Norman Feske
92cb97c05b Let Git ignore libports/include/x86emu
The headers are mere symlinks created via 'make prepare'.
2013-07-05 12:43:26 +02:00
Norman Feske
f3ef943bd8 Add missing libports includes to .gitignore 2013-04-09 12:03:49 +02:00
Norman Feske
5da281c1d8 libports: Add GNU FriBidi 2013-04-05 12:49:55 +02:00
Norman Feske
bd6d78b18e Add dde_oss contrib and download to .gitignore 2012-11-27 20:45:33 +01:00
Christian Prochaska
c39e5557c5 libports: stdcxx 4.7.2 update
Fixes .
2012-11-14 16:55:33 +01:00
Norman Feske
9651974448 Add stdcxx-4.6.1 to libports, fix
This patch adds libstdc++ to libports. With the previous version of the
stdcxx library, the build system used the C++ standard library that
comes with the compiler. This mechanism was prone to inconsistencies of
types defined in the header files used at compile time of the tool chain
and the types provided by our libc. By building the C++ standard library
as part of the Genode build process, such inconsistencies cannot happen
anymore.

Note that the patch changes the meaning of the 'stdcxx' library for
users that happened to rely on 'stdcxx' for hybrid Linux/Genode
applications. For such uses, the original mechanism is still available,
in the renamed form of 'toolchain_stdcxx'.
2012-09-04 12:37:56 +02:00
Norman Feske
28402eb085 Add 'libports/include/pcre' to '.gitignore' 2012-08-28 20:53:36 +02:00
Norman Feske
3546b17827 Let git ignore libports/include/ncurses/ncurses.h 2012-08-17 11:52:02 +02:00
Christian Prochaska
7a25bf2d19 x86_64 and ARM support for libgmp
Fixes .
2012-07-04 14:56:48 +02:00
Christian Prochaska
b8ee4bda81 libports: MPC
This patch adds the 'MPC' library to the 'libports' repository.

Fixes .
2012-07-02 14:15:42 +02:00
Josef Söntgen
7b8ebe34e9 libcrypto: Provide x86_64-specific implementations
modexp512 and rc4-md5 code were missing for x86_64. The files are now
generated on openssl-prepare and will be used when building for x86_64.

Fixes .
2012-05-29 14:58:01 +02:00
Josef Söntgen
d211007aba Add port of OpenSSL to libports
This commit contains the initial port of OpenSSL to Genode. It certainly
needs some more work to get things straight - it compiles fine but does
not work because of a NULL pointer exception.
2012-05-29 13:54:59 +02:00
Sebastian Sumpf
9f73476b37 New DDE-Linux-based USB driver
The new 'dde_linux' repository will host device drivers ported from the
Linux kernel. In contrast to the original 'linux_drivers' repository,
'dde_linux' does not contain any 3rd-party source code. To download the
Linux kernel source code and extract the drivers, execute the 'make
prepare' rule of the top-level Makefile. The initial version of the
'dde_linux' repository comes with an USB driver. The porting methodology
follows the path of the Intel GEM port. Instead of attempting to provide
a generic Linux environment that works across drivers, each driver comes
with a specially tailored DDE.

The DDE consists of Genode-specific implementations of Linux API
functions as declared in 'lx_emul.h'. Most of these functions are
dummies that must merely be provided to resolve dependencies at the
linking stage. They are called by unused code-paths.

As of now, the USB driver support UHCI, EHCI on the x86_32 platform. I
exposes USB HID devices and USB storage devices via Genode's input-session
and block-session respectively.

The USB driver is accompanied with two run scripts 'run/usb_hid.run' and
'run/usb_storage.run'.
2012-05-29 13:54:58 +02:00
Christian Helmuth
0200c27e33 Lua: Port of Lua runtime and simple example
The Lua runtime library is built in two variants: ANSI C and C++. The
C++ provides all Lua API function with C++ linkage and uses C++
exceptions instead of setjmp/longjmp for protected execution of Lua
chunks.

The ported version of Lua is 5.1.5.
2012-05-29 13:54:52 +02:00
Christian Prochaska
df95b8b2b4 Add 'Qoost' to libports
Fixes .
2012-04-05 10:40:46 +02:00
Norman Feske
526671609b Let Git ignore 'linux_drivers' 2012-01-25 20:17:41 +01:00
Christian Helmuth
3b4a2d8c4c Ignore Vi swp files and patch residuals 2012-01-16 22:23:02 +01:00
Norman Feske
326a2483f0 Add openjpeg, jbig2dec, and mupdf to libports
MuPDF is a fast and versatile PDF rendering library with only a few
dependencies. It depends on openjpeg (JPEG2000 codec) and jbig2dec (b/w
image compression library). Therefore, this patch comprises the ports of
these libraries as well. All libraries compile well in the Genode build
system but are not tested yet.
2012-01-02 17:09:18 +01:00
Norman Feske
46e3dbee3a Ignore generated files of gmp and mpfr libs 2011-12-24 06:14:53 +08:00
Christian Helmuth
f904c2be09 Gitignore files 2011-12-22 16:42:14 +01:00