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
11bfbb35320a9c28ba48ced2204b4ccff30c4250
genode/tool/builddir/etc
History
Reto Buerki dcd20f1566 hw: skeleton for building x86_64_muen 
The hw_x86_64_muen platform is a x86/64 base-hw kernel which runs as
isolated subject (guest) on the Muen Separation Kernel (SK) [1].

The platform is implemented as an extension to hw_x86_64 replacing the
PIC and timer drivers with paravirtualized variants. The skeleton
contains a dummy PIC and timer implementation for now.

[1] - http://muen.sk
2015-08-27 13:48:24 +02:00
..
build.conf.codezero_vpb926
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.drivers_arm
make dde_linux repository an optional one
2013-11-26 14:32:05 +01:00
build.conf.drivers_x86
dde_oss: remove repository
2015-05-06 16:18:42 +02:00
build.conf.fiasco_x86
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.foc_arndale
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.foc_imx53
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.foc_odroid_x2
foc: Odroid-X2 basic support
2015-07-21 09:28:25 +02:00
build.conf.foc_panda
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.foc_pbxa9
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.foc_rpi
base-foc: support for Raspberry Pi
2015-07-06 12:22:26 +02:00
build.conf.foc_x86_32
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.foc_x86_64
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.generic
Move repositories to 'repos/' subdirectory
2014-05-14 16:08:00 +02:00
build.conf.hw_arndale
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.hw_imx53_qsb
hw: support USB-Armory board
2015-02-27 11:48:35 +01:00
build.conf.hw_imx53_qsb_tz
hw: support USB-Armory board
2015-02-27 11:48:35 +01:00
build.conf.hw_odroid_xu
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.hw_panda
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.hw_pbxa9
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.hw_rpi
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.hw_usb_armory
hw: support USB-Armory board
2015-02-27 11:48:35 +01:00
build.conf.hw_wand_quad
hw: support Wandboard Quad (i.MX6)
2015-04-09 16:04:43 +02:00
build.conf.hw_x86_64
Add hw_x86_64 to create_builddir tool
2015-03-27 11:53:16 +01:00
build.conf.hw_x86_64_muen
hw: skeleton for building x86_64_muen
2015-08-27 13:48:24 +02:00
build.conf.linux_arm
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.linux_x86
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.lx_hybrid_x86
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.nova_x86_32
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.nova_x86_64
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.okl4_x86
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.optional
Remove repos/qt4, fix #1451
2015-03-19 08:57:20 +01:00
build.conf.pistachio_x86
create_builddir: add default RUN_OPT configuration
2015-01-26 12:28:40 +01:00
build.conf.ports-foc
Move repositories to 'repos/' subdirectory
2014-05-14 16:08:00 +02:00
build.conf.qemu_no_kvm
Imported Genode release 11.11
2011-12-22 16:19:25 +01:00
build.conf.sel4_x86_32
Add sel4_x86_32 to create_builddir tool
2015-05-26 09:40:01 +02:00
README
Imported Genode release 11.11
2011-12-22 16:19:25 +01:00

README 

This directory contains templates for configuring build directories
for different platforms. They are used by the 'create_builddir' tool.