genode/repos/base-linux
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

This repository contains the Linux-specific implementation of Genode.