ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
458b4d6fc4
genode/repos/ports-foc/config
History
Stefan Kalkowski 0ac039fad7 L4Linux: make ballooning driver configureable 
To circumvent compilation errors with the older L4Android Linux kernel
version, the ballooning driver is included in the more recent L4Linux
kernel only. Moreover, to be able to maintain L4Android / L4Linux in a more
convenient way, e.g. to apply patches valid for both versions, we use
the same git clone that is used for L4Linux instead of using the upstream
L4Android version by applying patches.

Fixes #1390
2015-02-16 13:40:35 +01:00
..
android_config.arm L4Linux: make ballooning driver configureable 2015-02-16 13:40:35 +01:00
android_config.x86_32 L4Linux: make ballooning driver configureable 2015-02-16 13:40:35 +01:00
linux_config.arm L4Linux: make ballooning driver configureable 2015-02-16 13:40:35 +01:00
linux_config.x86_32 L4Linux: make ballooning driver configureable 2015-02-16 13:40:35 +01:00