genode

mirror of https://github.com/genodelabs/genode.git synced 2025-03-26 05:48:29 +00:00

History

Emery Hemingway 72cb71c827 Replace SHA1 hashes of port downloads with SHA256

Now SHA256 has been shown to be an adequate replacement for SHA1, use
SHA256 for verifying all port downloads.

Ref #2767

2018-05-30 13:36:22 +02:00

contrib/generated

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

doc

base-okl4: remove unmaintained porting steps

2016-03-07 12:34:45 +01:00

etc

Add unified build directories to create_builddir

2017-01-13 13:05:44 +01:00

lib

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

patches

okl4: declare read-write-lock as volatile

2014-11-20 16:39:16 +01:00

ports

Replace SHA1 hashes of port downloads with SHA256

2018-05-30 13:36:22 +02:00

recipes/src/base-okl4

depot: update recipe hashes

2018-05-03 15:32:01 +02:00

run

run: use default Qemu memory size for x86

2017-05-31 13:16:19 +02:00

src

okl4: leverage complete virtual address space

2018-03-27 13:44:28 +02:00

tool

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

README

base-okl4: remove unmaintained porting steps

2016-03-07 12:34:45 +01:00

README

This repository contains the implementation of Genode for the OKL4
kernel version 2.1.  For further information, please refer to the
following website:

:[http://genode.org/documentation/articles/genode-on-okl4 - Bringing Genode to OKL4]:
  This article explains the OKL4-specific porting work.