genode

mirror of https://github.com/genodelabs/genode.git synced 2025-01-31 08:25:38 +00:00

History

Johannes Schlatow 5e4e634625 libs: use select_from_ports in eager assignments

If `select_from_ports` is evaluated lazily, we might miss a port during
the dependency check. A way to prevent this is to use the `:=` operator.

Fixes genodelabs/genode#4618

2022-11-17 08:00:34 +01:00

config

Move repositories to 'repos/' subdirectory

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

etc

base: remove SPEC variables of boards (fix #3971 )

2021-01-25 13:58:09 +01:00

lib

libs: use select_from_ports in eager assignments

2022-11-17 08:00:34 +01:00

patches

fiasco: fix compilation with GCC 6

2017-05-31 13:15:57 +02:00

ports

Replace SHA1 hashes of port downloads with SHA256

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

recipes/src/base-fiasco

depot: update recipe hashes

2022-10-12 14:31:50 +02:00

src

Remove pseudo targets for building shared libs

2022-09-19 14:00:32 +02:00

README

base-fiasco: coding style

2020-12-09 14:02:11 +01:00

README

This repository contains the L4/Fiasco-specific implementation of Genode.