denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
9767c4db0ed9dd6fe96bc784db4e210875a96fd3
genode/repos/base-linux
History
Christian Helmuth 23ed5d3936 base-linux: configurable host toolchain 
This commit uses CUSTOM_HOST_CC/CUSTOM_HOST_CXX instead of hardcoded
commands and introduces HOST_DEV_PREFIX.

Original patch by Roman Iten and Pirmin Duss.

Issue #3466
2019-12-19 17:01:42 +01:00
..
etc
Add unified build directories to create_builddir
2017-01-13 13:05:44 +01:00
lib
base-linux: configurable host toolchain
2019-12-19 17:01:42 +01:00
recipes
base-linux: core session support (IO_PORT, IO_MEM, IRQ)
2019-12-19 16:59:02 +01:00
run
base: remove dependency from deprecated APIs
2019-02-19 11:08:17 +01:00
src
base-linux: support invalid dataspace for RM client
2019-12-19 17:00:47 +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.