genode

mirror of https://github.com/genodelabs/genode.git synced 2025-01-31 16:35:28 +00:00

History

Norman Feske f93294975b base-linux: avoid double define of __always_inline

This patch fixes the following build problem that occurs on recent
GNU/Linux systems:

  /usr/include/x86_64-linux-gnu/sys/cdefs.h:307:0: error: "__always_inline" redefined
  ...
  /usr/include/linux/stddef.h:5:0: note: this is the location of the previous definition

The code in 'cdefs.h' does not check if the '__always_inline' is already
defined. The patch works around the problem by including the 'sys/cdefs.h'
first.

2018-11-16 14:37:20 +01:00

etc

Add unified build directories to create_builddir

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

lib

timer connection: no interpolation on arm w/o hw

2017-05-31 17:50:28 +02:00

recipes

depot: update recipe hashes

2018-10-29 09:36:23 +01:00

run

base: rm first-class support for static binaries

2018-08-02 14:36:38 +02:00

src

base-linux: avoid double define of __always_inline

2018-11-16 14:37:20 +01:00

README

Move repositories to 'repos/' subdirectory

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

README

This repository contains the Linux-specific implementation of Genode.