diff --git a/repos/base-fiasco/recipes/src/base-fiasco/README b/repos/base-fiasco/recipes/src/base-fiasco/README new file mode 100644 index 0000000000..f07af0729a --- /dev/null +++ b/repos/base-fiasco/recipes/src/base-fiasco/README @@ -0,0 +1,7 @@ +This archive contains the L4/Fiasco-specific part of Genode. + +It also contains the source code of the Fiasco kernel in the +'src/kernel/fiasco' directory. + +Please note that Fiasco has a license distinct from Genode. Fiasco's +license can be found at 'src/kernel/fiasco/fiasco/snapshot/l4/COPYING'. diff --git a/repos/base-fiasco/recipes/src/base-fiasco/content.mk b/repos/base-fiasco/recipes/src/base-fiasco/content.mk new file mode 100644 index 0000000000..d88625a28b --- /dev/null +++ b/repos/base-fiasco/recipes/src/base-fiasco/content.mk @@ -0,0 +1,42 @@ +include $(GENODE_DIR)/repos/base/recipes/src/base_content.inc + + +TIMER_SRC := main.cc target.inc include periodic fiasco + +content: src/drivers/timer +src/drivers/timer: + mkdir -p $@ + cp -r $(addprefix $(GENODE_DIR)/repos/os/$@/,$(TIMER_SRC)) $@ + +content: include/spec/x86_32/trace/timestamp.h include/spec/x86_64/trace/timestamp.h + +include/spec/%/trace/timestamp.h: + mkdir -p $(dir $@) + cp $(GENODE_DIR)/repos/os/$@ $@ + + +content: README +README: + cp $(REP_DIR)/recipes/src/base-fiasco/README $@ + +content: lib/import config etc +lib/import config etc: + $(mirror_from_rep_dir) + +content: src/kernel/fiasco +src/kernel: + $(mirror_from_rep_dir) + +KERNEL_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/fiasco) + +src/kernel/fiasco: src/kernel + cp -r $(KERNEL_PORT_DIR)/src/kernel/fiasco/* $@ + + +content: + for spec in x86_32; do \ + mv lib/mk/spec/$$spec/ld-fiasco.mk lib/mk/spec/$$spec/ld.mk; \ + done; + sed -i "s/ld-fiasco/ld/" src/lib/ld/fiasco/target.mk + sed -i "s/fiasco_timer_drv/timer/" src/drivers/timer/fiasco/target.mk + diff --git a/repos/base-fiasco/recipes/src/base-fiasco/hash b/repos/base-fiasco/recipes/src/base-fiasco/hash new file mode 100644 index 0000000000..a752291511 --- /dev/null +++ b/repos/base-fiasco/recipes/src/base-fiasco/hash @@ -0,0 +1 @@ +2017-04-24 d33532258f88a819175f3337406a4adf134cc949 diff --git a/repos/base-fiasco/recipes/src/base-fiasco/used_apis b/repos/base-fiasco/recipes/src/base-fiasco/used_apis new file mode 100644 index 0000000000..df967b96a5 --- /dev/null +++ b/repos/base-fiasco/recipes/src/base-fiasco/used_apis @@ -0,0 +1 @@ +base diff --git a/repos/base-foc/recipes/src/base-foc/README b/repos/base-foc/recipes/src/base-foc/README new file mode 100644 index 0000000000..c19a0dd5b9 --- /dev/null +++ b/repos/base-foc/recipes/src/base-foc/README @@ -0,0 +1,7 @@ +This archive contains the Fiasco.OC-specific part of Genode. + +It also contains the source code of the Fiasco.OC kernel in the +'src/kernel/foc' directory. + +Please note that Fiasco.OC has a license distinct from Genode. Fiasco.OC's +license can be found at 'src/kernel/foc/COPYING-GPL-2'. diff --git a/repos/base-foc/recipes/src/base-foc/content.mk b/repos/base-foc/recipes/src/base-foc/content.mk new file mode 100644 index 0000000000..50fad4df4a --- /dev/null +++ b/repos/base-foc/recipes/src/base-foc/content.mk @@ -0,0 +1,49 @@ +include $(GENODE_DIR)/repos/base/recipes/src/base_content.inc + +FROM_BASE_FOC := include/foc include/foc_native_cpu include/foc_native_pd + +content: $(FROM_BASE_FOC) + +$(FROM_BASE_FOC): + $(mirror_from_rep_dir) + + +TIMER_SRC := main.cc target.inc foc include periodic fiasco + +content: src/drivers/timer +src/drivers/timer: + mkdir -p $@ + cp -r $(addprefix $(GENODE_DIR)/repos/os/$@/,$(TIMER_SRC)) $@ + +content: include/spec/x86_32/trace/timestamp.h include/spec/x86_64/trace/timestamp.h + +include/spec/%/trace/timestamp.h: + mkdir -p $(dir $@) + cp $(GENODE_DIR)/repos/os/$@ $@ + + +content: README +README: + cp $(REP_DIR)/recipes/src/base-foc/README $@ + +content: lib/import config etc +lib/import config etc: + $(mirror_from_rep_dir) + +content: src/kernel/foc +src/kernel: + $(mirror_from_rep_dir) + +KERNEL_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/foc) + +src/kernel/foc: src/kernel + cp -r $(KERNEL_PORT_DIR)/src/kernel/foc/* $@ + + +content: + for spec in x86_32 x86_64 arm; do \ + mv lib/mk/spec/$$spec/ld-foc.mk lib/mk/spec/$$spec/ld.mk; \ + done; + sed -i "s/ld-foc/ld/" src/lib/ld/foc/target.mk + sed -i "s/foc_timer_drv/timer/" src/drivers/timer/foc/target.mk + diff --git a/repos/base-foc/recipes/src/base-foc/hash b/repos/base-foc/recipes/src/base-foc/hash new file mode 100644 index 0000000000..3c5d488604 --- /dev/null +++ b/repos/base-foc/recipes/src/base-foc/hash @@ -0,0 +1 @@ +2017-04-24 109db2ae66df71e2e1799b957870344d1a4b09ca diff --git a/repos/base-foc/recipes/src/base-foc/used_apis b/repos/base-foc/recipes/src/base-foc/used_apis new file mode 100644 index 0000000000..df967b96a5 --- /dev/null +++ b/repos/base-foc/recipes/src/base-foc/used_apis @@ -0,0 +1 @@ +base diff --git a/repos/base-hw/recipes/api/base-hw/content.mk b/repos/base-hw/recipes/api/base-hw/content.mk new file mode 100644 index 0000000000..ccb94d8c66 --- /dev/null +++ b/repos/base-hw/recipes/api/base-hw/content.mk @@ -0,0 +1,9 @@ +FROM_BASE_HW := etc include + +content: $(FROM_BASE_HW) LICENSE + +$(FROM_BASE_HW): + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ diff --git a/repos/base-hw/recipes/api/base-hw/hash b/repos/base-hw/recipes/api/base-hw/hash new file mode 100644 index 0000000000..ef87a0052c --- /dev/null +++ b/repos/base-hw/recipes/api/base-hw/hash @@ -0,0 +1 @@ +2017-04-24 d5cf1941612117ebee8e13000483408d5e11f3eb diff --git a/repos/base-hw/recipes/src/base-hw-pbxa9/content.mk b/repos/base-hw/recipes/src/base-hw-pbxa9/content.mk new file mode 100644 index 0000000000..5b400d346a --- /dev/null +++ b/repos/base-hw/recipes/src/base-hw-pbxa9/content.mk @@ -0,0 +1,5 @@ +include $(GENODE_DIR)/repos/base-hw/recipes/src/base-hw_content.inc + +content: enable_board_spec +enable_board_spec: etc/specs.conf + echo "SPECS += pbxa9" >> etc/specs.conf diff --git a/repos/base-hw/recipes/src/base-hw-pbxa9/hash b/repos/base-hw/recipes/src/base-hw-pbxa9/hash new file mode 100644 index 0000000000..568ac616c1 --- /dev/null +++ b/repos/base-hw/recipes/src/base-hw-pbxa9/hash @@ -0,0 +1 @@ +2017-04-24 a0965060e79d8912df5fce128297d939bedb7bfd diff --git a/repos/base-hw/recipes/src/base-hw-pbxa9/used_apis b/repos/base-hw/recipes/src/base-hw-pbxa9/used_apis new file mode 100644 index 0000000000..ed9b772565 --- /dev/null +++ b/repos/base-hw/recipes/src/base-hw-pbxa9/used_apis @@ -0,0 +1,2 @@ +base-hw +base diff --git a/repos/base-hw/recipes/src/base-hw-pc/content.mk b/repos/base-hw/recipes/src/base-hw-pc/content.mk new file mode 100644 index 0000000000..31319dcaf1 --- /dev/null +++ b/repos/base-hw/recipes/src/base-hw-pc/content.mk @@ -0,0 +1 @@ +include $(GENODE_DIR)/repos/base-hw/recipes/src/base-hw_content.inc diff --git a/repos/base-hw/recipes/src/base-hw-pc/hash b/repos/base-hw/recipes/src/base-hw-pc/hash new file mode 100644 index 0000000000..832b392df4 --- /dev/null +++ b/repos/base-hw/recipes/src/base-hw-pc/hash @@ -0,0 +1 @@ +2017-04-24 b75f9dc78931d4efae757c8d931a240da2449745 diff --git a/repos/base-hw/recipes/src/base-hw-pc/used_apis b/repos/base-hw/recipes/src/base-hw-pc/used_apis new file mode 100644 index 0000000000..ed9b772565 --- /dev/null +++ b/repos/base-hw/recipes/src/base-hw-pc/used_apis @@ -0,0 +1,2 @@ +base-hw +base diff --git a/repos/base-hw/recipes/src/base-hw_content.inc b/repos/base-hw/recipes/src/base-hw_content.inc new file mode 100644 index 0000000000..d50527853f --- /dev/null +++ b/repos/base-hw/recipes/src/base-hw_content.inc @@ -0,0 +1,31 @@ +include $(GENODE_DIR)/repos/base/recipes/src/base_content.inc + +content: src/bootstrap + +src/bootstrap: + $(mirror_from_rep_dir) + + +TIMER_SRC := main.cc target.inc hw include + +content: src/drivers/timer +src/drivers/timer: + mkdir -p $@ + cp -r $(addprefix $(GENODE_DIR)/repos/os/$@/,$(TIMER_SRC)) $@ + +content: include/spec/x86_32/trace/timestamp.h include/spec/x86_64/trace/timestamp.h + +include/spec/%/trace/timestamp.h: + mkdir -p $(dir $@) + cp $(GENODE_DIR)/repos/os/$@ $@ + + +content: generalize_target_names + +generalize_target_names: lib/mk src/lib src/drivers/timer + for spec in arm riscv x86_64; do \ + mv lib/mk/spec/$$spec/ld-hw.mk lib/mk/spec/$$spec/ld.mk; \ + done; + sed -i "s/ld-hw/ld/" src/lib/ld/hw/target.mk + sed -i "s/hw_timer_drv/timer/" src/drivers/timer/hw/target.mk + diff --git a/repos/base-linux/recipes/api/base-linux/content.mk b/repos/base-linux/recipes/api/base-linux/content.mk new file mode 100644 index 0000000000..1c8d33d630 --- /dev/null +++ b/repos/base-linux/recipes/api/base-linux/content.mk @@ -0,0 +1,16 @@ +FROM_BASE_LINUX := etc src/lib/syscall src/lib/lx_hybrid lib/import +FROM_BASE_LINUX_AND_BASE := lib/mk src/lib/base src/include + +content: $(FROM_BASE_LINUX) $(FROM_BASE_LINUX_AND_BASE) LICENSE + +$(FROM_BASE_LINUX): + mkdir -p $@ + cp -r $(REP_DIR)/$@/* $@ + +$(FROM_BASE_LINUX_AND_BASE): + mkdir -p $@ + cp -r $(GENODE_DIR)/repos/base/$@/* $@ + cp -r $(REP_DIR)/$@/* $@ + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ diff --git a/repos/base-linux/recipes/api/base-linux/hash b/repos/base-linux/recipes/api/base-linux/hash new file mode 100644 index 0000000000..c0ee9b888f --- /dev/null +++ b/repos/base-linux/recipes/api/base-linux/hash @@ -0,0 +1 @@ +2017-04-24 fd6a8e907eb4c1b89c7c2845364f1ebfcb36a3d5 diff --git a/repos/base-linux/recipes/src/base-linux/content.mk b/repos/base-linux/recipes/src/base-linux/content.mk new file mode 100644 index 0000000000..cc06420e78 --- /dev/null +++ b/repos/base-linux/recipes/src/base-linux/content.mk @@ -0,0 +1,22 @@ +include $(GENODE_DIR)/repos/base/recipes/src/base_content.inc + +content: lib/import src/ld + +lib/import src/ld: + $(mirror_from_rep_dir) + +content: src/drivers/timer + +TIMER_SRC := main.cc target.inc linux include periodic + +src/drivers/timer: + mkdir -p $@ + cp -r $(addprefix $(GENODE_DIR)/repos/os/$@/,$(TIMER_SRC)) $@ + +content: + for spec in x86_32 x86_64 arm; do \ + mv lib/mk/spec/$$spec/ld-linux.mk lib/mk/spec/$$spec/ld.mk; done; + sed -i "s/core-linux/core/" src/core/linux/target.mk + sed -i "s/ld-linux/ld/" src/lib/ld/linux/target.mk + sed -i "s/linux_timer_drv/timer/" src/drivers/timer/linux/target.mk + diff --git a/repos/base-linux/recipes/src/base-linux/hash b/repos/base-linux/recipes/src/base-linux/hash new file mode 100644 index 0000000000..09837eefb2 --- /dev/null +++ b/repos/base-linux/recipes/src/base-linux/hash @@ -0,0 +1 @@ +2017-04-24 767f3e79c947c800ed6e5d8882edf43906567bb0 diff --git a/repos/base-linux/recipes/src/base-linux/used_apis b/repos/base-linux/recipes/src/base-linux/used_apis new file mode 100644 index 0000000000..df967b96a5 --- /dev/null +++ b/repos/base-linux/recipes/src/base-linux/used_apis @@ -0,0 +1 @@ +base diff --git a/repos/base-nova/recipes/api/base-nova/content.mk b/repos/base-nova/recipes/api/base-nova/content.mk new file mode 100644 index 0000000000..da8ff09fc5 --- /dev/null +++ b/repos/base-nova/recipes/api/base-nova/content.mk @@ -0,0 +1,9 @@ +FROM_BASE_NOVA := etc include + +content: $(FROM_BASE_NOVA) LICENSE + +$(FROM_BASE_NOVA): + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ diff --git a/repos/base-nova/recipes/api/base-nova/hash b/repos/base-nova/recipes/api/base-nova/hash new file mode 100644 index 0000000000..03b6d01bb7 --- /dev/null +++ b/repos/base-nova/recipes/api/base-nova/hash @@ -0,0 +1 @@ +2017-04-24 4a89589b6d06fd84720719edcd6c99d13f36b17b diff --git a/repos/base-nova/recipes/src/base-nova/README b/repos/base-nova/recipes/src/base-nova/README new file mode 100644 index 0000000000..47edc49b6f --- /dev/null +++ b/repos/base-nova/recipes/src/base-nova/README @@ -0,0 +1,9 @@ +This archive contains the NOVA-specific part of Genode. + +It also contains the source code of the NOVA hypervisor in the src/kernel/nova/ +directory. + +This NOVA version is maintained at 'https://github.com/alex-ab/NOVA.git'. + +Please note that NOVA has a license distinct from Genode. NOVA's license can +be found at 'src/kernel/nova/LICENSE'. diff --git a/repos/base-nova/recipes/src/base-nova/content.mk b/repos/base-nova/recipes/src/base-nova/content.mk new file mode 100644 index 0000000000..94a9b2f49d --- /dev/null +++ b/repos/base-nova/recipes/src/base-nova/content.mk @@ -0,0 +1,49 @@ +include $(GENODE_DIR)/repos/base/recipes/src/base_content.inc + + +TIMER_SRC := main.cc target.inc nova include + +content: src/drivers/timer +src/drivers/timer: + mkdir -p $@ + cp -r $(addprefix $(GENODE_DIR)/repos/os/$@/,$(TIMER_SRC)) $@ + +content: include/spec/x86_32/trace/timestamp.h include/spec/x86_64/trace/timestamp.h + +include/spec/%/trace/timestamp.h: + mkdir -p $(dir $@) + cp $(GENODE_DIR)/repos/os/$@ $@ + + +DEVICE_PD_SRC := src/drivers/platform/spec/x86/pci_device_pd_ipc.h \ + src/drivers/platform/spec/x86/device_pd \ + include/os/static_root.h + +content: $(DEVICE_PD_SRC) +$(DEVICE_PD_SRC): + mkdir -p $(dir $@) + cp -r $(GENODE_DIR)/repos/os/$@ $@ + + +content: README +README: + cp $(REP_DIR)/recipes/src/base-nova/README $@ + + +content: src/kernel/nova +src/kernel: + $(mirror_from_rep_dir) + +KERNEL_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/nova) + +src/kernel/nova: src/kernel + cp -r $(KERNEL_PORT_DIR)/src/kernel/nova/* $@ + + +content: + for spec in x86_32 x86_64; do \ + mv lib/mk/spec/$$spec/ld-nova.mk lib/mk/spec/$$spec/ld.mk; \ + done; + sed -i "s/ld-nova/ld/" src/lib/ld/nova/target.mk + sed -i "s/nova_timer_drv/timer/" src/drivers/timer/nova/target.mk + diff --git a/repos/base-nova/recipes/src/base-nova/hash b/repos/base-nova/recipes/src/base-nova/hash new file mode 100644 index 0000000000..19f5d30c14 --- /dev/null +++ b/repos/base-nova/recipes/src/base-nova/hash @@ -0,0 +1 @@ +2017-04-24 6c16675f283e446dff4253334857a278606f1ac5 diff --git a/repos/base-nova/recipes/src/base-nova/used_apis b/repos/base-nova/recipes/src/base-nova/used_apis new file mode 100644 index 0000000000..cdc162fef5 --- /dev/null +++ b/repos/base-nova/recipes/src/base-nova/used_apis @@ -0,0 +1,2 @@ +base-nova +base diff --git a/repos/base-okl4/recipes/src/base-okl4/README b/repos/base-okl4/recipes/src/base-okl4/README new file mode 100644 index 0000000000..1829767d6d --- /dev/null +++ b/repos/base-okl4/recipes/src/base-okl4/README @@ -0,0 +1,7 @@ +This archive contains the OKL4-specific part of Genode. + +It also contains the source code of the OKL4 kernel in the src/kernel/okl4 +directory. + +Please note that OKL4 has a license distinct from Genode. OKL4 is licensed +under the terms of the GNU General Public License version 2. diff --git a/repos/base-okl4/recipes/src/base-okl4/content.mk b/repos/base-okl4/recipes/src/base-okl4/content.mk new file mode 100644 index 0000000000..21eb0caa24 --- /dev/null +++ b/repos/base-okl4/recipes/src/base-okl4/content.mk @@ -0,0 +1,42 @@ +include $(GENODE_DIR)/repos/base/recipes/src/base_content.inc + + +TIMER_SRC := main.cc target.inc pit include + +content: src/drivers/timer +src/drivers/timer: + mkdir -p $@ + cp -r $(addprefix $(GENODE_DIR)/repos/os/$@/,$(TIMER_SRC)) $@ + +content: include/spec/x86_32/trace/timestamp.h include/spec/x86_64/trace/timestamp.h + +include/spec/%/trace/timestamp.h: + mkdir -p $(dir $@) + cp $(GENODE_DIR)/repos/os/$@ $@ + + +content: README +README: + cp $(REP_DIR)/recipes/src/base-okl4/README $@ + +content: lib/import contrib +lib/import contrib: + $(mirror_from_rep_dir) + +content: src/kernel/okl4 +src/kernel: + $(mirror_from_rep_dir) + +KERNEL_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/okl4) + +src/kernel/okl4: src/kernel + cp -r $(KERNEL_PORT_DIR)/src/kernel/okl4/* $@ + + +content: + for spec in x86_32; do \ + mv lib/mk/spec/$$spec/ld-okl4.mk lib/mk/spec/$$spec/ld.mk; \ + done; + sed -i "s/ld-okl4/ld/" src/lib/ld/okl4/target.mk + sed -i "s/pit_timer_drv/timer/" src/drivers/timer/pit/target.mk + diff --git a/repos/base-okl4/recipes/src/base-okl4/hash b/repos/base-okl4/recipes/src/base-okl4/hash new file mode 100644 index 0000000000..7ce3b8fa48 --- /dev/null +++ b/repos/base-okl4/recipes/src/base-okl4/hash @@ -0,0 +1 @@ +2017-04-24 ed5b22b4a488c2ec0ead59ce5573df993fc2581e diff --git a/repos/base-okl4/recipes/src/base-okl4/used_apis b/repos/base-okl4/recipes/src/base-okl4/used_apis new file mode 100644 index 0000000000..df967b96a5 --- /dev/null +++ b/repos/base-okl4/recipes/src/base-okl4/used_apis @@ -0,0 +1 @@ +base diff --git a/repos/base-pistachio/recipes/src/base-pistachio/README b/repos/base-pistachio/recipes/src/base-pistachio/README new file mode 100644 index 0000000000..f21209f422 --- /dev/null +++ b/repos/base-pistachio/recipes/src/base-pistachio/README @@ -0,0 +1,7 @@ +This archive contains the L4ka::Pistachio-specific part of Genode. + +It also contains the source code of the Pistachio kernel in the +src/kernel/pistachio directory. + +Please note that Pistachio has a license distinct from Genode. Pistachio's +license can be found at 'src/kernel/pistachio/README'. diff --git a/repos/base-pistachio/recipes/src/base-pistachio/content.mk b/repos/base-pistachio/recipes/src/base-pistachio/content.mk new file mode 100644 index 0000000000..2852b97317 --- /dev/null +++ b/repos/base-pistachio/recipes/src/base-pistachio/content.mk @@ -0,0 +1,42 @@ +include $(GENODE_DIR)/repos/base/recipes/src/base_content.inc + + +TIMER_SRC := main.cc target.inc pit include + +content: src/drivers/timer +src/drivers/timer: + mkdir -p $@ + cp -r $(addprefix $(GENODE_DIR)/repos/os/$@/,$(TIMER_SRC)) $@ + +content: include/spec/x86_32/trace/timestamp.h include/spec/x86_64/trace/timestamp.h + +include/spec/%/trace/timestamp.h: + mkdir -p $(dir $@) + cp $(GENODE_DIR)/repos/os/$@ $@ + + +content: README +README: + cp $(REP_DIR)/recipes/src/base-pistachio/README $@ + +content: lib/import config etc +lib/import config etc: + $(mirror_from_rep_dir) + +content: src/kernel/pistachio +src/kernel: + $(mirror_from_rep_dir) + +KERNEL_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/pistachio) + +src/kernel/pistachio: src/kernel + cp -r $(KERNEL_PORT_DIR)/src/kernel/pistachio/* $@ + + +content: + for spec in x86_32; do \ + mv lib/mk/spec/$$spec/ld-pistachio.mk lib/mk/spec/$$spec/ld.mk; \ + done; + sed -i "s/ld-pistachio/ld/" src/lib/ld/pistachio/target.mk + sed -i "s/pit_timer_drv/timer/" src/drivers/timer/pit/target.mk + diff --git a/repos/base-pistachio/recipes/src/base-pistachio/hash b/repos/base-pistachio/recipes/src/base-pistachio/hash new file mode 100644 index 0000000000..bad80b0ea9 --- /dev/null +++ b/repos/base-pistachio/recipes/src/base-pistachio/hash @@ -0,0 +1 @@ +2017-04-24 1703e18f3a63382dba993c3295ead8d70b2f1ef4 diff --git a/repos/base-pistachio/recipes/src/base-pistachio/used_apis b/repos/base-pistachio/recipes/src/base-pistachio/used_apis new file mode 100644 index 0000000000..df967b96a5 --- /dev/null +++ b/repos/base-pistachio/recipes/src/base-pistachio/used_apis @@ -0,0 +1 @@ +base diff --git a/repos/base-sel4/recipes/src/base-sel4/README b/repos/base-sel4/recipes/src/base-sel4/README new file mode 100644 index 0000000000..fac8785ba6 --- /dev/null +++ b/repos/base-sel4/recipes/src/base-sel4/README @@ -0,0 +1,7 @@ +This archive contains the seL4-specific part of Genode. + +It also contains the source code of the seL4 kernel in the +'src/kernel/sel4' directory. + +Please note that seL4 has a license distinct from Genode. seL4's +license can be found at 'src/kernel/sel4/LICENSE_GPLv2.txt'. diff --git a/repos/base-sel4/recipes/src/base-sel4/content.mk b/repos/base-sel4/recipes/src/base-sel4/content.mk new file mode 100644 index 0000000000..d2eecae0db --- /dev/null +++ b/repos/base-sel4/recipes/src/base-sel4/content.mk @@ -0,0 +1,42 @@ +include $(GENODE_DIR)/repos/base/recipes/src/base_content.inc + + +TIMER_SRC := main.cc target.inc pit include + +content: src/drivers/timer +src/drivers/timer: + mkdir -p $@ + cp -r $(addprefix $(GENODE_DIR)/repos/os/$@/,$(TIMER_SRC)) $@ + +content: include/spec/x86_32/trace/timestamp.h include/spec/x86_64/trace/timestamp.h + +include/spec/%/trace/timestamp.h: + mkdir -p $(dir $@) + cp $(GENODE_DIR)/repos/os/$@ $@ + + +content: README +README: + cp $(REP_DIR)/recipes/src/base-sel4/README $@ + +content: lib/import etc include/sel4 +lib/import etc include/sel4: + $(mirror_from_rep_dir) + +content: src/kernel/sel4 +src/kernel: + $(mirror_from_rep_dir) + +KERNEL_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/sel4) + +src/kernel/sel4: src/kernel + cp -r $(KERNEL_PORT_DIR)/src/kernel/sel4/* $@ + + +content: + for spec in x86_32; do \ + mv lib/mk/spec/$$spec/ld-sel4.mk lib/mk/spec/$$spec/ld.mk; \ + done; + sed -i "s/ld-sel4/ld/" src/lib/ld/sel4/target.mk + sed -i "s/pit_timer_drv/timer/" src/drivers/timer/pit/target.mk + diff --git a/repos/base-sel4/recipes/src/base-sel4/hash b/repos/base-sel4/recipes/src/base-sel4/hash new file mode 100644 index 0000000000..e3a614fe74 --- /dev/null +++ b/repos/base-sel4/recipes/src/base-sel4/hash @@ -0,0 +1 @@ +2017-04-24 11ec2072e68dc9de6f423290dea2ab6f7ce3e592 diff --git a/repos/base-sel4/recipes/src/base-sel4/used_apis b/repos/base-sel4/recipes/src/base-sel4/used_apis new file mode 100644 index 0000000000..df967b96a5 --- /dev/null +++ b/repos/base-sel4/recipes/src/base-sel4/used_apis @@ -0,0 +1 @@ +base diff --git a/repos/base/recipes/api/base/content.mk b/repos/base/recipes/api/base/content.mk new file mode 100644 index 0000000000..434ea7f7ab --- /dev/null +++ b/repos/base/recipes/api/base/content.mk @@ -0,0 +1,22 @@ +content: include mk/spec lib LICENSE + +include: + cp -r $(REP_DIR)/include $@ + +LIB_MK_FILES := base.mk ld.mk ldso-startup.mk + +lib: + mkdir -p lib/mk lib/symbols + cp $(addprefix $(REP_DIR)/lib/mk/,$(LIB_MK_FILES)) lib/mk/ + cp $(REP_DIR)/lib/symbols/ld lib/symbols/ + touch lib/mk/config.mk + +SPECS := x86_32 x86_64 32bit 64bit + +mk/spec: + mkdir -p $@ + cp $(foreach spec,$(SPECS),$(REP_DIR)/mk/spec/$(spec).mk) $@ + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ + diff --git a/repos/base/recipes/api/base/hash b/repos/base/recipes/api/base/hash new file mode 100644 index 0000000000..2b277401c6 --- /dev/null +++ b/repos/base/recipes/api/base/hash @@ -0,0 +1 @@ +2017-04-24 bf2448ea22214620626a75e5c113dbc891bf0448 diff --git a/repos/base/recipes/api/so/content.mk b/repos/base/recipes/api/so/content.mk new file mode 100644 index 0000000000..b00adfd662 --- /dev/null +++ b/repos/base/recipes/api/so/content.mk @@ -0,0 +1,7 @@ +content: lib/mk/ldso-startup.mk LICENSE + +lib/mk/ldso-startup.mk: + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ diff --git a/repos/base/recipes/api/so/hash b/repos/base/recipes/api/so/hash new file mode 100644 index 0000000000..a16f367037 --- /dev/null +++ b/repos/base/recipes/api/so/hash @@ -0,0 +1 @@ +2017-04-24 157c64dcbcafcec624e53b3e6f5455a59c679550 diff --git a/repos/base/recipes/src/base_content.inc b/repos/base/recipes/src/base_content.inc new file mode 100644 index 0000000000..551af5ea47 --- /dev/null +++ b/repos/base/recipes/src/base_content.inc @@ -0,0 +1,32 @@ +# +# Common content rules shared among all base- source archives +# + +content: src/include src/core src/lib src/drivers/timer lib/mk LICENSE + +src/include src/core src/lib lib/mk: + mkdir -p $@ + cp -r $(GENODE_DIR)/repos/base/$@/* $@ + cp -r $(REP_DIR)/$@/* $@ + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ + +content: etc/specs.conf + +etc/specs.conf: + $(mirror_from_rep_dir) + +MIRRORED_FROM_OS := $(addprefix lib/mk/,timeout.mk alarm.mk config.mk timed_semaphore.mk)\ + $(addprefix src/lib/,timeout alarm config timed_semaphore) \ + $(addprefix include/os/,timeout.h alarm.h config.h timed_semaphore.h \ + time_source.h) \ + include/timer_session + +content: $(MIRRORED_FROM_OS) + +$(MIRRORED_FROM_OS): lib/mk + +$(MIRRORED_FROM_OS): + mkdir -p $(dir $@) + cp -r $(GENODE_DIR)/repos/os/$@ $(dir $@) diff --git a/repos/base/recipes/src/content.inc b/repos/base/recipes/src/content.inc new file mode 100644 index 0000000000..5d319c092b --- /dev/null +++ b/repos/base/recipes/src/content.inc @@ -0,0 +1,8 @@ +content: $(SRC_DIR) LICENSE + +$(SRC_DIR): + mkdir -p $@ + cp -r $(REP_DIR)/$@/* $@/ + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ diff --git a/repos/dde_linux/recipes/src/usb_drv/content.mk b/repos/dde_linux/recipes/src/usb_drv/content.mk new file mode 100644 index 0000000000..9d8f832cb1 --- /dev/null +++ b/repos/dde_linux/recipes/src/usb_drv/content.mk @@ -0,0 +1,27 @@ +LIB_MK := $(shell cd $(REP_DIR); find lib -name "usb*") \ + $(foreach SPEC,x86_32 x86_64 arm,lib/mk/spec/$(SPEC)/lx_kit_setjmp.mk) \ + lib/mk/xhci.inc + +PORT_DIR := $(call port_dir,$(REP_DIR)/ports/dde_linux) + +MIRROR_FROM_REP_DIR := $(LIB_MK) \ + lib/import/import-usb_include.mk src/drivers/usb \ + src/include src/lx_kit \ + $(shell cd $(REP_DIR); find src/lib/usb -type f) + +MIRROR_FROM_PORT_DIR := $(shell cd $(PORT_DIR); find src/lib/usb -type f | grep -v ".git") +MIRROR_FROM_PORT_DIR := $(filter-out $(MIRROR_FROM_REP_DIR),$(MIRROR_FROM_PORT_DIR)) + +content: $(MIRROR_FROM_REP_DIR) $(MIRROR_FROM_PORT_DIR) + +$(MIRROR_FROM_REP_DIR): + $(mirror_from_rep_dir) + +$(MIRROR_FROM_PORT_DIR): + mkdir -p $(dir $@) + cp $(PORT_DIR)/$@ $@ + +content: LICENSE +LICENSE: + ( echo "GNU General Public License version 2, see:"; \ + echo "https://www.kernel.org/pub/linux/kernel/COPYING" ) > $@ diff --git a/repos/dde_linux/recipes/src/usb_drv/hash b/repos/dde_linux/recipes/src/usb_drv/hash new file mode 100644 index 0000000000..911958bdaa --- /dev/null +++ b/repos/dde_linux/recipes/src/usb_drv/hash @@ -0,0 +1 @@ +2017-04-26 51ac7fc0681b7365c2bab7b0745f5b5ba65342ee diff --git a/repos/dde_linux/recipes/src/usb_drv/used_apis b/repos/dde_linux/recipes/src/usb_drv/used_apis new file mode 100644 index 0000000000..b607df898e --- /dev/null +++ b/repos/dde_linux/recipes/src/usb_drv/used_apis @@ -0,0 +1,10 @@ +base +os +nic_session +usb_session +input_session +block_session +platform_session +timer_session +report_session +libc_setjmp diff --git a/repos/demo/recipes/api/scout_gfx/content.mk b/repos/demo/recipes/api/scout_gfx/content.mk new file mode 100644 index 0000000000..f2545067c5 --- /dev/null +++ b/repos/demo/recipes/api/scout_gfx/content.mk @@ -0,0 +1,8 @@ +content: include/scout_gfx include/util src/lib/scout_gfx lib/mk/scout_gfx.mk LICENSE + +include/scout_gfx include/util src/lib/scout_gfx lib/mk/scout_gfx.mk: + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ + diff --git a/repos/demo/recipes/api/scout_gfx/hash b/repos/demo/recipes/api/scout_gfx/hash new file mode 100644 index 0000000000..d773fe167b --- /dev/null +++ b/repos/demo/recipes/api/scout_gfx/hash @@ -0,0 +1 @@ +2017-04-24 411a69cbadcb750d12c8adc874a09961d46d0365 diff --git a/repos/demo/recipes/src/demo/content.mk b/repos/demo/recipes/src/demo/content.mk new file mode 100644 index 0000000000..2dee8d933c --- /dev/null +++ b/repos/demo/recipes/src/demo/content.mk @@ -0,0 +1,11 @@ +content: doc include lib src include/init/child_policy.h LICENSE + +doc include lib src: + $(mirror_from_rep_dir) + +include/init/child_policy.h: + mkdir $(dir $@) + cp $(GENODE_DIR)/repos/os/$@ $@ + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ diff --git a/repos/demo/recipes/src/demo/hash b/repos/demo/recipes/src/demo/hash new file mode 100644 index 0000000000..f45a6cb169 --- /dev/null +++ b/repos/demo/recipes/src/demo/hash @@ -0,0 +1 @@ +2017-04-24 a69657fb80d7659494b2ee579f4a41e977945a5a diff --git a/repos/demo/recipes/src/demo/used_apis b/repos/demo/recipes/src/demo/used_apis new file mode 100644 index 0000000000..2ce3f1ba26 --- /dev/null +++ b/repos/demo/recipes/src/demo/used_apis @@ -0,0 +1,8 @@ +base +os +blit +nitpicker_gfx +timer_session +input_session +framebuffer_session +nitpicker_session diff --git a/repos/gems/recipes/api/gems/content.mk b/repos/gems/recipes/api/gems/content.mk new file mode 100644 index 0000000000..8015045e7d --- /dev/null +++ b/repos/gems/recipes/api/gems/content.mk @@ -0,0 +1,8 @@ +content: include/gems src/lib/file lib/mk/file.mk LICENSE + +include/gems src/lib/file lib/mk/file.mk: + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ + diff --git a/repos/gems/recipes/api/gems/hash b/repos/gems/recipes/api/gems/hash new file mode 100644 index 0000000000..def877b40e --- /dev/null +++ b/repos/gems/recipes/api/gems/hash @@ -0,0 +1 @@ +2017-04-24 2f2975d4b744a8576654a966299b5ca6b3ac4b4c diff --git a/repos/gems/recipes/api/polygon_gfx/content.mk b/repos/gems/recipes/api/polygon_gfx/content.mk new file mode 100644 index 0000000000..eb23e2a106 --- /dev/null +++ b/repos/gems/recipes/api/polygon_gfx/content.mk @@ -0,0 +1,8 @@ +content: include/polygon_gfx LICENSE + +include/polygon_gfx: + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ + diff --git a/repos/gems/recipes/api/polygon_gfx/hash b/repos/gems/recipes/api/polygon_gfx/hash new file mode 100644 index 0000000000..7172d3a8c2 --- /dev/null +++ b/repos/gems/recipes/api/polygon_gfx/hash @@ -0,0 +1 @@ +2017-04-24 3e6aca1b5cc1cb8e2721ab99e976660604134b31 diff --git a/repos/gems/recipes/pkg/backdrop/README b/repos/gems/recipes/pkg/backdrop/README new file mode 100644 index 0000000000..e6e47a10fc --- /dev/null +++ b/repos/gems/recipes/pkg/backdrop/README @@ -0,0 +1,2 @@ + + Package for displaying desktop backgrounds diff --git a/repos/gems/recipes/pkg/backdrop/archives b/repos/gems/recipes/pkg/backdrop/archives new file mode 100644 index 0000000000..2d741c0f54 --- /dev/null +++ b/repos/gems/recipes/pkg/backdrop/archives @@ -0,0 +1,4 @@ +_/src/backdrop +_/src/libc +_/src/zlib +_/src/libpng diff --git a/repos/gems/recipes/pkg/backdrop/hash b/repos/gems/recipes/pkg/backdrop/hash new file mode 100644 index 0000000000..e0c6510c88 --- /dev/null +++ b/repos/gems/recipes/pkg/backdrop/hash @@ -0,0 +1 @@ +2017-04-24 ae5579c357636951e98ad09f4131614b9ced2a7c diff --git a/repos/gems/recipes/pkg/themed_wm/README b/repos/gems/recipes/pkg/themed_wm/README new file mode 100644 index 0000000000..2434ba990b --- /dev/null +++ b/repos/gems/recipes/pkg/themed_wm/README @@ -0,0 +1,6 @@ + + Subsystem for presenting GUI applications in floating windows + using the themed window decorator + +This package overrides parts of the wm package such that the themed decorator +is used instead of the default one. diff --git a/repos/gems/recipes/pkg/themed_wm/archives b/repos/gems/recipes/pkg/themed_wm/archives new file mode 100644 index 0000000000..7720907eeb --- /dev/null +++ b/repos/gems/recipes/pkg/themed_wm/archives @@ -0,0 +1,3 @@ +_/pkg/wm +_/raw/themed_wm +_/src/themed_decorator diff --git a/repos/gems/recipes/pkg/themed_wm/hash b/repos/gems/recipes/pkg/themed_wm/hash new file mode 100644 index 0000000000..4f0a8abbad --- /dev/null +++ b/repos/gems/recipes/pkg/themed_wm/hash @@ -0,0 +1 @@ +2017-04-24 2a6a7bbe32697be6f70f6b1634db517849c6b9af diff --git a/repos/gems/recipes/pkg/wm/README b/repos/gems/recipes/pkg/wm/README new file mode 100644 index 0000000000..6ad4875c10 --- /dev/null +++ b/repos/gems/recipes/pkg/wm/README @@ -0,0 +1,13 @@ + + Subsystem for presenting GUI applications in floating windows + + +The package uses the motif-inspired default decorator. The decorator is +executed in a sub-init instance according to 'decorator_init.config'. This +allows us to easily override the decorator with another implementation (like +the themed decorator) provided by another package while keeping the overall +configuration of the wm subsystem. + +As another advantage of hosting the decorator in a dedicated init instance, +it is possible to restart or replace the decorator at runtime by serving +the 'decorator_init.config' from a dynamic ROM service. diff --git a/repos/gems/recipes/pkg/wm/archives b/repos/gems/recipes/pkg/wm/archives new file mode 100644 index 0000000000..cdbdb871c4 --- /dev/null +++ b/repos/gems/recipes/pkg/wm/archives @@ -0,0 +1,5 @@ +_/raw/wm +_/src/wm +_/src/report_rom +_/src/decorator +_/src/floating_window_layouter diff --git a/repos/gems/recipes/pkg/wm/hash b/repos/gems/recipes/pkg/wm/hash new file mode 100644 index 0000000000..2f84de1de8 --- /dev/null +++ b/repos/gems/recipes/pkg/wm/hash @@ -0,0 +1 @@ +2017-04-24 a0d15eb2d76c17250bbc6eff724597b95adfdc96 diff --git a/repos/gems/recipes/raw/genode_bg/content.mk b/repos/gems/recipes/raw/genode_bg/content.mk new file mode 100644 index 0000000000..0b61f11861 --- /dev/null +++ b/repos/gems/recipes/raw/genode_bg/content.mk @@ -0,0 +1,4 @@ +content: genode_logo.png grid.png + +%.png: + cp $(REP_DIR)/src/app/backdrop/$@ $@ diff --git a/repos/gems/recipes/raw/genode_bg/hash b/repos/gems/recipes/raw/genode_bg/hash new file mode 100644 index 0000000000..dca54fb325 --- /dev/null +++ b/repos/gems/recipes/raw/genode_bg/hash @@ -0,0 +1 @@ +2017-04-24 9fae08f7d2881c029889934eeea204f6fa636a55 diff --git a/repos/gems/recipes/raw/themed_wm/content.mk b/repos/gems/recipes/raw/themed_wm/content.mk new file mode 100644 index 0000000000..7b1dc62430 --- /dev/null +++ b/repos/gems/recipes/raw/themed_wm/content.mk @@ -0,0 +1,4 @@ +content: decorator_init.config + +decorator_init.config: + cp $(REP_DIR)/recipes/raw/themed_wm/$@ $@ diff --git a/repos/gems/recipes/raw/themed_wm/decorator_init.config b/repos/gems/recipes/raw/themed_wm/decorator_init.config new file mode 100644 index 0000000000..cb95492f2f --- /dev/null +++ b/repos/gems/recipes/raw/themed_wm/decorator_init.config @@ -0,0 +1,27 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/repos/gems/recipes/raw/themed_wm/hash b/repos/gems/recipes/raw/themed_wm/hash new file mode 100644 index 0000000000..664c4149c6 --- /dev/null +++ b/repos/gems/recipes/raw/themed_wm/hash @@ -0,0 +1 @@ +2017-04-24 e9b9f4f47ef2402c7286770dd7355a94b371e3c5 diff --git a/repos/gems/src/server/wm/wm.config b/repos/gems/recipes/raw/themed_wm/wm.config similarity index 83% rename from repos/gems/src/server/wm/wm.config rename to repos/gems/recipes/raw/themed_wm/wm.config index d141bb35e6..82aecb7c6c 100644 --- a/repos/gems/src/server/wm/wm.config +++ b/repos/gems/recipes/raw/themed_wm/wm.config @@ -8,12 +8,15 @@ + + + @@ -31,6 +34,7 @@ + @@ -49,6 +53,7 @@ + @@ -63,18 +68,19 @@ + - - - - </controls> - </config> + <binary name="init"/> + <resource name="RAM" quantum="12M"/> <route> - <service name="ROM" label="window_layout"> - <child name="report_rom"/> </service> - <service name="ROM" label="pointer"> - <child name="report_rom"/> </service> - <service name="Report"> <child name="report_rom"/> </service> + <service name="ROM" label="config"> + <parent label="decorator_init.config"/> </service> + + <service name="ROM" label="window_layout"> <child name="report_rom"/> </service> + <service name="ROM" label="pointer"> <child name="report_rom"/> </service> + <service name="Report" label="decorator_margins"> <child name="report_rom"/> </service> + <service name="Report" label="hover"> <child name="report_rom"/> </service> + <any-service> <child name="wm"/> <parent/> <any-child/> </any-service> diff --git a/repos/gems/recipes/raw/wm/content.mk b/repos/gems/recipes/raw/wm/content.mk new file mode 100644 index 0000000000..fcbadc7847 --- /dev/null +++ b/repos/gems/recipes/raw/wm/content.mk @@ -0,0 +1,4 @@ +content: wm.config decorator_init.config + +wm.config decorator_init.config: + cp $(REP_DIR)/recipes/raw/wm/$@ $@ diff --git a/repos/gems/recipes/raw/wm/decorator_init.config b/repos/gems/recipes/raw/wm/decorator_init.config new file mode 100644 index 0000000000..52941f9648 --- /dev/null +++ b/repos/gems/recipes/raw/wm/decorator_init.config @@ -0,0 +1,25 @@ +<config> + <parent-provides> + <service name="ROM"/> + <service name="RAM"/> + <service name="PD"/> + <service name="CPU"/> + <service name="LOG"/> + <service name="Nitpicker"/> + <service name="Timer"/> + <service name="Report"/> + </parent-provides> + <start name="decorator"> + <resource name="RAM" quantum="8M"/> + <config> + <controls> <maximizer/> <title/> </controls> + </config> + <route> + <service name="ROM" label="window_layout"> <parent label="window_layout"/> </service> + <service name="ROM" label="pointer"> <parent label="pointer"/> </service> + <service name="Report" label="decorator_margins"> <parent label="decorator_margins"/> </service> + <service name="Report" label="hover"> <parent label="hover"/> </service> + <any-service> <parent/> </any-service> + </route> + </start> +</config> diff --git a/repos/gems/recipes/raw/wm/hash b/repos/gems/recipes/raw/wm/hash new file mode 100644 index 0000000000..9e3b6b7544 --- /dev/null +++ b/repos/gems/recipes/raw/wm/hash @@ -0,0 +1 @@ +2017-04-24 8ee4b8e255db0117385cec87ca8619200ba0db5e diff --git a/repos/gems/recipes/raw/wm/wm.config b/repos/gems/recipes/raw/wm/wm.config new file mode 100644 index 0000000000..82aecb7c6c --- /dev/null +++ b/repos/gems/recipes/raw/wm/wm.config @@ -0,0 +1,89 @@ +<config> + <parent-provides> + <service name="ROM"/> + <service name="RAM"/> + <service name="PD"/> + <service name="CPU"/> + <service name="LOG"/> + <service name="Nitpicker"/> + <service name="Timer"/> + </parent-provides> + + <default-route> + <any-service> <parent/> <any-child/> </any-service> + </default-route> + + <service name="Nitpicker"> + <default-policy> <child name="wm"/> </default-policy> + </service> + + <start name="report_rom"> + <resource name="RAM" quantum="4M"/> + <provides> + <service name="Report"/> + <service name="ROM"/> + </provides> + <config> + <policy label="layouter -> window_list" report="wm -> window_list"/> + <policy label="layouter -> focus_request" report="wm -> focus_request"/> + <policy label="decorator -> window_layout" report="layouter -> window_layout"/> + <policy label="wm -> resize_request" report="layouter -> resize_request"/> + <policy label="decorator -> pointer" report="wm -> pointer"/> + <policy label="layouter -> hover" report="decorator -> hover"/> + <policy label="layouter -> decorator_margins" report="decorator -> decorator_margins"/> + <policy label="wm -> focus" report="layouter -> focus"/> + </config> + </start> + + <start name="wm"> + <resource name="RAM" quantum="6M"/> + <provides> + <service name="Nitpicker"/> + </provides> + <config> + <policy label_prefix="decorator" role="decorator"/> + <policy label_prefix="layouter" role="layouter"/> + </config> + <route> + <service name="ROM" label="resize_request"> <child name="report_rom"/> </service> + <service name="ROM" label="focus"> <child name="report_rom"/> </service> + <service name="Report"> <child name="report_rom"/> </service> + <any-service> + <child name="nitpicker"/> <parent/> <any-child/> + </any-service> + </route> + </start> + + <start name="layouter"> + <binary name="floating_window_layouter"/> + <resource name="RAM" quantum="4M"/> + <route> + <service name="ROM" label="window_list"> <child name="report_rom"/> </service> + <service name="ROM" label="focus_request"> <child name="report_rom"/> </service> + <service name="ROM" label="hover"> <child name="report_rom"/> </service> + <service name="ROM" label="decorator_margins"> <child name="report_rom"/> </service> + <service name="Report"> <child name="report_rom"/> </service> + <any-service> + <child name="wm"/> <parent/> <any-child/> + </any-service> + </route> + </start> + + <start name="decorator"> + <binary name="init"/> + <resource name="RAM" quantum="12M"/> + <route> + <service name="ROM" label="config"> + <parent label="decorator_init.config"/> </service> + + <service name="ROM" label="window_layout"> <child name="report_rom"/> </service> + <service name="ROM" label="pointer"> <child name="report_rom"/> </service> + <service name="Report" label="decorator_margins"> <child name="report_rom"/> </service> + <service name="Report" label="hover"> <child name="report_rom"/> </service> + + <any-service> + <child name="wm"/> <parent/> <any-child/> + </any-service> + </route> + </start> +</config> diff --git a/repos/gems/recipes/src/backdrop/content.mk b/repos/gems/recipes/src/backdrop/content.mk new file mode 100644 index 0000000000..e2053b242f --- /dev/null +++ b/repos/gems/recipes/src/backdrop/content.mk @@ -0,0 +1,8 @@ +SRC_DIR := src/app/backdrop +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +content: include/decorator + +include/decorator: + mkdir -p $@ + cp $(GENODE_DIR)/repos/os/include/decorator/* $@ diff --git a/repos/gems/recipes/src/backdrop/hash b/repos/gems/recipes/src/backdrop/hash new file mode 100644 index 0000000000..7d2f3926cf --- /dev/null +++ b/repos/gems/recipes/src/backdrop/hash @@ -0,0 +1 @@ +2017-04-24 148ba10efac9abd236d0737aef48e6b275c81bfd diff --git a/repos/gems/recipes/src/backdrop/used_apis b/repos/gems/recipes/src/backdrop/used_apis new file mode 100644 index 0000000000..a21bf7754a --- /dev/null +++ b/repos/gems/recipes/src/backdrop/used_apis @@ -0,0 +1,12 @@ +base +os +libc +libpng +zlib +blit +gems +nitpicker_gfx +vfs +nitpicker_session +framebuffer_session +input_session diff --git a/repos/gems/recipes/src/decorator/content.mk b/repos/gems/recipes/src/decorator/content.mk new file mode 100644 index 0000000000..b1302f398b --- /dev/null +++ b/repos/gems/recipes/src/decorator/content.mk @@ -0,0 +1,14 @@ +SRC_DIR := src/app/decorator +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +content: include/decorator + +include/decorator: + mkdir -p $@ + cp $(GENODE_DIR)/repos/os/include/decorator/* $@ + +content: src/app/scout/data/droidsansb10.tff + +src/app/scout/data/droidsansb10.tff: + mkdir -p $(dir $@) + cp $(GENODE_DIR)/repos/demo/$@ $@ diff --git a/repos/gems/recipes/src/decorator/hash b/repos/gems/recipes/src/decorator/hash new file mode 100644 index 0000000000..3522b6dbe5 --- /dev/null +++ b/repos/gems/recipes/src/decorator/hash @@ -0,0 +1 @@ +2017-04-24 d1ce063dc955eea09de7798fcf33af7226daf3c8 diff --git a/repos/gems/recipes/src/decorator/used_apis b/repos/gems/recipes/src/decorator/used_apis new file mode 100644 index 0000000000..d0d9e8f2ff --- /dev/null +++ b/repos/gems/recipes/src/decorator/used_apis @@ -0,0 +1,9 @@ +base +os +nitpicker_gfx +scout_gfx +gems +input_session +nitpicker_session +framebuffer_session +report_session diff --git a/repos/gems/recipes/src/floating_window_layouter/content.mk b/repos/gems/recipes/src/floating_window_layouter/content.mk new file mode 100644 index 0000000000..16cc6f6f47 --- /dev/null +++ b/repos/gems/recipes/src/floating_window_layouter/content.mk @@ -0,0 +1,10 @@ +SRC_DIR := src/app/floating_window_layouter +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +DECORATOR_INCLUDES := $(addprefix include/decorator/,xml_utils.h types.h) + +content: $(DECORATOR_INCLUDES) + +$(DECORATOR_INCLUDES): + mkdir -p $(dir $@) + cp $(GENODE_DIR)/repos/os/$@ $@ diff --git a/repos/gems/recipes/src/floating_window_layouter/hash b/repos/gems/recipes/src/floating_window_layouter/hash new file mode 100644 index 0000000000..db3b7936e4 --- /dev/null +++ b/repos/gems/recipes/src/floating_window_layouter/hash @@ -0,0 +1 @@ +2017-04-24 bdfda4f0876e7822e200bfffc414dec6397141a5 diff --git a/repos/gems/recipes/src/floating_window_layouter/used_apis b/repos/gems/recipes/src/floating_window_layouter/used_apis new file mode 100644 index 0000000000..c28524c4d2 --- /dev/null +++ b/repos/gems/recipes/src/floating_window_layouter/used_apis @@ -0,0 +1,6 @@ +base +os +input_session +report_session +nitpicker_session +framebuffer_session diff --git a/repos/gems/recipes/src/menu_view/content.mk b/repos/gems/recipes/src/menu_view/content.mk new file mode 100644 index 0000000000..5243c65120 --- /dev/null +++ b/repos/gems/recipes/src/menu_view/content.mk @@ -0,0 +1,8 @@ +SRC_DIR := src/app/menu_view +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +content: include/decorator + +include/decorator: + mkdir -p $@ + cp $(GENODE_DIR)/repos/os/include/decorator/* $@ diff --git a/repos/gems/recipes/src/menu_view/hash b/repos/gems/recipes/src/menu_view/hash new file mode 100644 index 0000000000..e182f1bfb4 --- /dev/null +++ b/repos/gems/recipes/src/menu_view/hash @@ -0,0 +1 @@ +2017-04-24 7d6fefeda682d9ba7c8f2439d50509bdd95dc075 diff --git a/repos/gems/recipes/src/menu_view/used_apis b/repos/gems/recipes/src/menu_view/used_apis new file mode 100644 index 0000000000..5f95031c9b --- /dev/null +++ b/repos/gems/recipes/src/menu_view/used_apis @@ -0,0 +1,15 @@ +base +os +libc +libpng +zlib +blit +gems +nitpicker_gfx +scout_gfx +vfs +nitpicker_session +framebuffer_session +input_session +timer_session +report_session diff --git a/repos/gems/recipes/src/nit_fader/content.mk b/repos/gems/recipes/src/nit_fader/content.mk new file mode 100644 index 0000000000..0b57bc66bc --- /dev/null +++ b/repos/gems/recipes/src/nit_fader/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/server/nit_fader +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/gems/recipes/src/nit_fader/hash b/repos/gems/recipes/src/nit_fader/hash new file mode 100644 index 0000000000..5a9dc6d339 --- /dev/null +++ b/repos/gems/recipes/src/nit_fader/hash @@ -0,0 +1 @@ +2017-04-24 78b19e4390b65f8a8247b81807017b65d99ae891 diff --git a/repos/gems/recipes/src/nit_fader/used_apis b/repos/gems/recipes/src/nit_fader/used_apis new file mode 100644 index 0000000000..b309a00a41 --- /dev/null +++ b/repos/gems/recipes/src/nit_fader/used_apis @@ -0,0 +1,9 @@ +base +os +blit +framebuffer_session +input_session +nitpicker_session +timer_session +nitpicker_gfx +scout_gfx diff --git a/repos/gems/recipes/src/themed_decorator/content.mk b/repos/gems/recipes/src/themed_decorator/content.mk new file mode 100644 index 0000000000..066be3044d --- /dev/null +++ b/repos/gems/recipes/src/themed_decorator/content.mk @@ -0,0 +1,8 @@ +SRC_DIR := src/app/themed_decorator +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +content: include/decorator + +include/decorator: + mkdir -p $@ + cp $(GENODE_DIR)/repos/os/include/decorator/* $@ diff --git a/repos/gems/recipes/src/themed_decorator/hash b/repos/gems/recipes/src/themed_decorator/hash new file mode 100644 index 0000000000..47084d9f01 --- /dev/null +++ b/repos/gems/recipes/src/themed_decorator/hash @@ -0,0 +1 @@ +2017-04-24 adf05accdca3e0e3585f5fb55a3d64796c16225b diff --git a/repos/gems/recipes/src/themed_decorator/used_apis b/repos/gems/recipes/src/themed_decorator/used_apis new file mode 100644 index 0000000000..ba0dacbfcf --- /dev/null +++ b/repos/gems/recipes/src/themed_decorator/used_apis @@ -0,0 +1,15 @@ +base +os +nitpicker_gfx +scout_gfx +polygon_gfx +blit +libc +libpng +zlib +gems +vfs +input_session +nitpicker_session +framebuffer_session +report_session diff --git a/repos/gems/recipes/src/wm/content.mk b/repos/gems/recipes/src/wm/content.mk new file mode 100644 index 0000000000..c546cc2dc9 --- /dev/null +++ b/repos/gems/recipes/src/wm/content.mk @@ -0,0 +1,2 @@ +SRC_DIR := src/server/wm +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/gems/recipes/src/wm/hash b/repos/gems/recipes/src/wm/hash new file mode 100644 index 0000000000..2062ba15e5 --- /dev/null +++ b/repos/gems/recipes/src/wm/hash @@ -0,0 +1 @@ +2017-04-24 6b92326d545eefe54bb6f55188dcd56871ab4d12 diff --git a/repos/gems/recipes/src/wm/used_apis b/repos/gems/recipes/src/wm/used_apis new file mode 100644 index 0000000000..2490f3f026 --- /dev/null +++ b/repos/gems/recipes/src/wm/used_apis @@ -0,0 +1,7 @@ +base +os +gems +input_session +nitpicker_session +framebuffer_session +report_session diff --git a/repos/libports/recipes/api/libc/content.mk b/repos/libports/recipes/api/libc/content.mk new file mode 100644 index 0000000000..e07b35eb63 --- /dev/null +++ b/repos/libports/recipes/api/libc/content.mk @@ -0,0 +1,21 @@ +content: include lib/import/import-libc.mk lib/symbols/libc lib/symbols/libm + +PORT_DIR := $(call port_dir,$(REP_DIR)/ports/libc) + +include: + mkdir $@ + cp -r $(PORT_DIR)/include/* $@/ + cp -r $(REP_DIR)/include/libc $@/ + cp -r $(REP_DIR)/include/libc-genode $@/ + +lib/import/import-libc.mk lib/symbols/libc lib/symbols/libm: + $(mirror_from_rep_dir) + +content: LICENSE + +LICENSE: + (echo "Based on FreeBSD, which is BSD licensed:"; \ + echo " http://www.freebsd.org/copyright/freebsd-license.html"; \ + echo "Genode-specific adaptations are AGPLv3 licensed:"; \ + echo " http://genode.org/about/licenses") > $@ + diff --git a/repos/libports/recipes/api/libc/hash b/repos/libports/recipes/api/libc/hash new file mode 100644 index 0000000000..0159127be4 --- /dev/null +++ b/repos/libports/recipes/api/libc/hash @@ -0,0 +1 @@ +2017-04-24 435b031a20dc09bb5f2a62c732a04be84573de4b diff --git a/repos/libports/recipes/api/libc_setjmp/content.mk b/repos/libports/recipes/api/libc_setjmp/content.mk new file mode 100644 index 0000000000..dbc85fca79 --- /dev/null +++ b/repos/libports/recipes/api/libc_setjmp/content.mk @@ -0,0 +1,32 @@ +MIRROR_FROM_REP_DIR := lib/mk/spec/x86_32/libc-setjmp.mk \ + lib/mk/spec/x86_64/libc-setjmp.mk \ + lib/mk/spec/arm/libc-setjmp.mk \ + lib/mk/libc-common.inc \ + lib/import/import-libc.mk \ + lib/import/import-libc-setjmp.mk \ + include/libc-genode/sys/syscall.h + +content: $(MIRROR_FROM_REP_DIR) + +$(MIRROR_FROM_REP_DIR): + $(mirror_from_rep_dir) + +PORT_DIR := $(call port_dir,$(REP_DIR)/ports/libc) + +MIRROR_FROM_PORT_DIR := $(shell cd $(PORT_DIR); \ + find -name "*jmp*" -or -name "asm.h" \ + -or -name "cdefs.h"\ + -or -name "SYS.h") + +content: $(MIRROR_FROM_PORT_DIR) + +$(MIRROR_FROM_PORT_DIR): + mkdir -p $(dir $@) + cp $(PORT_DIR)/$@ $@ + +content: LICENSE + +LICENSE: + (echo "Based on FreeBSD, which is BSD licensed:"; \ + echo " http://www.freebsd.org/copyright/freebsd-license.html") > $@ + diff --git a/repos/libports/recipes/api/libc_setjmp/hash b/repos/libports/recipes/api/libc_setjmp/hash new file mode 100644 index 0000000000..da30fadbe4 --- /dev/null +++ b/repos/libports/recipes/api/libc_setjmp/hash @@ -0,0 +1 @@ +2017-04-24 510a1ba0f12eac65f352c9cea1b6c0354a7907a1 diff --git a/repos/libports/recipes/api/libpng/content.mk b/repos/libports/recipes/api/libpng/content.mk new file mode 100644 index 0000000000..7030405d60 --- /dev/null +++ b/repos/libports/recipes/api/libpng/content.mk @@ -0,0 +1,14 @@ +content: include lib/symbols/libpng LICENSE + +PORT_DIR := $(call port_dir,$(REP_DIR)/ports/libpng) + +include: + mkdir $@ + cp -r $(PORT_DIR)/include/libpng/* $@/ + +lib/symbols/libpng: + $(mirror_from_rep_dir) + +LICENSE: + cp $(PORT_DIR)/src/lib/libpng/LICENSE $@ + diff --git a/repos/libports/recipes/api/libpng/hash b/repos/libports/recipes/api/libpng/hash new file mode 100644 index 0000000000..5bdf677618 --- /dev/null +++ b/repos/libports/recipes/api/libpng/hash @@ -0,0 +1 @@ +2017-04-24 1b03dbf7c4a80643499b03b51f6826bc708866be diff --git a/repos/libports/recipes/api/zlib/content.mk b/repos/libports/recipes/api/zlib/content.mk new file mode 100644 index 0000000000..8df707dd02 --- /dev/null +++ b/repos/libports/recipes/api/zlib/content.mk @@ -0,0 +1,14 @@ +content: include lib/symbols/zlib LICENSE + +PORT_DIR := $(call port_dir,$(REP_DIR)/ports/zlib) + +include: + mkdir $@ + cp -r $(PORT_DIR)/include/zlib/* $@/ + +lib/symbols/zlib: + $(mirror_from_rep_dir) + +LICENSE: + echo "zlib license" > $@ + diff --git a/repos/libports/recipes/api/zlib/hash b/repos/libports/recipes/api/zlib/hash new file mode 100644 index 0000000000..9cbdb05f37 --- /dev/null +++ b/repos/libports/recipes/api/zlib/hash @@ -0,0 +1 @@ +2017-04-24 b5e8a6088575f0c3b8402f20132301752c128b9f diff --git a/repos/libports/recipes/src/libc/api b/repos/libports/recipes/src/libc/api new file mode 100644 index 0000000000..0a9ce4f3e2 --- /dev/null +++ b/repos/libports/recipes/src/libc/api @@ -0,0 +1 @@ +libc diff --git a/repos/libports/recipes/src/libc/content.mk b/repos/libports/recipes/src/libc/content.mk new file mode 100644 index 0000000000..15c7e07660 --- /dev/null +++ b/repos/libports/recipes/src/libc/content.mk @@ -0,0 +1,29 @@ +content: include/libc-plugin src/lib/libc/target.mk lib/mk LICENSE + +PORT_DIR := $(call port_dir,$(REP_DIR)/ports/libc) + +src/lib/libc: + mkdir -p $@ + cp -r $(PORT_DIR)/src/lib/libc/* $@ + cp -r $(REP_DIR)/src/lib/libc/* $@ + +# target.mk for triggering the build of both libraries libc and libm +src/lib/libc/target.mk: src/lib/libc + echo "LIBS += libc libm" > $@ + +include/libc-plugin include/libc/sys/ucontext.h: + $(mirror_from_rep_dir) + +lib/mk: + mkdir -p $@ + cp $(addprefix $(REP_DIR)/$@/,libc_* libc.mk libc-* libm.mk) $@ + for spec in x86_32 x86_64 arm; do \ + mkdir -p $@/spec/$$spec; \ + cp $(addprefix $(REP_DIR)/$@/spec/$$spec/,libc-* libc.mk libm.mk) $@/spec/$$spec/; done + +LICENSE: + (echo "Based on FreeBSD, which is BSD licensed:"; \ + echo " http://www.freebsd.org/copyright/freebsd-license.html"; \ + echo "Genode-specific adaptations are AGPLv3 licensed:"; \ + echo " http://genode.org/about/licenses") > $@ + diff --git a/repos/libports/recipes/src/libc/hash b/repos/libports/recipes/src/libc/hash new file mode 100644 index 0000000000..99388004b5 --- /dev/null +++ b/repos/libports/recipes/src/libc/hash @@ -0,0 +1 @@ +2017-04-24 898e4ad3c454c4d61be79461d19e6a03a13151a9 diff --git a/repos/libports/recipes/src/libc/used_apis b/repos/libports/recipes/src/libc/used_apis new file mode 100644 index 0000000000..34b4ce70ed --- /dev/null +++ b/repos/libports/recipes/src/libc/used_apis @@ -0,0 +1,9 @@ +so +base +os +vfs +block_session +file_system_session +rtc_session +terminal_session +timer_session diff --git a/repos/libports/recipes/src/libpng/api b/repos/libports/recipes/src/libpng/api new file mode 100644 index 0000000000..30c33ac62a --- /dev/null +++ b/repos/libports/recipes/src/libpng/api @@ -0,0 +1 @@ +libpng diff --git a/repos/libports/recipes/src/libpng/content.mk b/repos/libports/recipes/src/libpng/content.mk new file mode 100644 index 0000000000..b924ac71fc --- /dev/null +++ b/repos/libports/recipes/src/libpng/content.mk @@ -0,0 +1,15 @@ +content: src/lib/libpng lib/mk/libpng.mk LICENSE + +PORT_DIR := $(call port_dir,$(REP_DIR)/ports/libpng) + +src/lib/libpng: + $(mirror_from_rep_dir) + cp -r $(PORT_DIR)/src/lib/libpng/* $@ + echo "LIBS = libpng" > $@/target.mk + +lib/mk/libpng.mk: + $(mirror_from_rep_dir) + +LICENSE: + cp $(PORT_DIR)/src/lib/libpng/LICENSE $@ + diff --git a/repos/libports/recipes/src/libpng/hash b/repos/libports/recipes/src/libpng/hash new file mode 100644 index 0000000000..9e005c5972 --- /dev/null +++ b/repos/libports/recipes/src/libpng/hash @@ -0,0 +1 @@ +2017-04-24 360e1a9ea6d22733425314760e5534b404818c51 diff --git a/repos/libports/recipes/src/libpng/used_apis b/repos/libports/recipes/src/libpng/used_apis new file mode 100644 index 0000000000..994be5ab9f --- /dev/null +++ b/repos/libports/recipes/src/libpng/used_apis @@ -0,0 +1,3 @@ +libc +so +zlib diff --git a/repos/libports/recipes/src/vesa_drv/content.mk b/repos/libports/recipes/src/vesa_drv/content.mk new file mode 100644 index 0000000000..48ce464b8c --- /dev/null +++ b/repos/libports/recipes/src/vesa_drv/content.mk @@ -0,0 +1,18 @@ +SRC_DIR := src/drivers/framebuffer/vesa +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +content: src/lib/x86emu include/x86emu lib/mk/x86emu.mk + +src/lib/x86emu: + mkdir -p $(dir $@) + cp -r $(X86_EMU_PORT_DIR)/$@ $@ + +include/x86emu: + mkdir -p $(dir $@) + cp -r $(X86_EMU_PORT_DIR)/$@ $@ + cp -r $(REP_DIR)/$@/* $@ + +lib/mk/x86emu.mk: + $(mirror_from_rep_dir) + +X86_EMU_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/x86emu) diff --git a/repos/libports/recipes/src/vesa_drv/hash b/repos/libports/recipes/src/vesa_drv/hash new file mode 100644 index 0000000000..27530c2d0d --- /dev/null +++ b/repos/libports/recipes/src/vesa_drv/hash @@ -0,0 +1 @@ +2017-04-24 3302c5922398360b15ac7231a32115f1a5c90a63 diff --git a/repos/libports/recipes/src/vesa_drv/used_apis b/repos/libports/recipes/src/vesa_drv/used_apis new file mode 100644 index 0000000000..f987fe047f --- /dev/null +++ b/repos/libports/recipes/src/vesa_drv/used_apis @@ -0,0 +1,7 @@ +base +os +blit +libc +platform_session +timer_session +framebuffer_session diff --git a/repos/libports/recipes/src/zlib/api b/repos/libports/recipes/src/zlib/api new file mode 100644 index 0000000000..f22003e83c --- /dev/null +++ b/repos/libports/recipes/src/zlib/api @@ -0,0 +1 @@ +zlib diff --git a/repos/libports/recipes/src/zlib/content.mk b/repos/libports/recipes/src/zlib/content.mk new file mode 100644 index 0000000000..6ae1a807aa --- /dev/null +++ b/repos/libports/recipes/src/zlib/content.mk @@ -0,0 +1,15 @@ +content: src/lib/zlib lib/mk/zlib.mk LICENSE + +PORT_DIR := $(call port_dir,$(REP_DIR)/ports/zlib) + +src/lib/zlib: + mkdir -p $@ + cp -r $(PORT_DIR)/src/lib/zlib/* $@ + echo "LIBS = zlib" > $@/target.mk + +lib/mk/zlib.mk: + $(mirror_from_rep_dir) + +LICENSE: + echo "zlib license, see src/lib/zlib/README" > $@ + diff --git a/repos/libports/recipes/src/zlib/hash b/repos/libports/recipes/src/zlib/hash new file mode 100644 index 0000000000..3c14f61de9 --- /dev/null +++ b/repos/libports/recipes/src/zlib/hash @@ -0,0 +1 @@ +2017-04-24 9433c28e811a11ce675246c5b9ba26307b44d794 diff --git a/repos/libports/recipes/src/zlib/used_apis b/repos/libports/recipes/src/zlib/used_apis new file mode 100644 index 0000000000..4011ccc3b3 --- /dev/null +++ b/repos/libports/recipes/src/zlib/used_apis @@ -0,0 +1,2 @@ +libc +so diff --git a/repos/os/recipes/api/audio_in_session/content.mk b/repos/os/recipes/api/audio_in_session/content.mk new file mode 100644 index 0000000000..fa27372fa5 --- /dev/null +++ b/repos/os/recipes/api/audio_in_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/audio_in_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/audio_in_session/hash b/repos/os/recipes/api/audio_in_session/hash new file mode 100644 index 0000000000..e4c6a951e5 --- /dev/null +++ b/repos/os/recipes/api/audio_in_session/hash @@ -0,0 +1 @@ +2017-04-24 e0d946d692babf1b23440fee5f68481099f45abe diff --git a/repos/os/recipes/api/audio_out_session/content.mk b/repos/os/recipes/api/audio_out_session/content.mk new file mode 100644 index 0000000000..aba5964b53 --- /dev/null +++ b/repos/os/recipes/api/audio_out_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/audio_out_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/audio_out_session/hash b/repos/os/recipes/api/audio_out_session/hash new file mode 100644 index 0000000000..961fcf1ac5 --- /dev/null +++ b/repos/os/recipes/api/audio_out_session/hash @@ -0,0 +1 @@ +2017-04-24 bbd0d95b4d771e78f55757321f06ea5569f09b07 diff --git a/repos/os/recipes/api/blit/content.mk b/repos/os/recipes/api/blit/content.mk new file mode 100644 index 0000000000..5194779f0f --- /dev/null +++ b/repos/os/recipes/api/blit/content.mk @@ -0,0 +1,8 @@ +content: include/blit src/lib/blit lib/mk/blit.mk LICENSE + +src/lib/blit include/blit lib/mk/blit.mk: + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ + diff --git a/repos/os/recipes/api/blit/hash b/repos/os/recipes/api/blit/hash new file mode 100644 index 0000000000..c00768a75e --- /dev/null +++ b/repos/os/recipes/api/blit/hash @@ -0,0 +1 @@ +2017-04-24 bdafc6c6a3c7ad1abde2e8573dc46eccad377d22 diff --git a/repos/os/recipes/api/block_session/content.mk b/repos/os/recipes/api/block_session/content.mk new file mode 100644 index 0000000000..0a2f091619 --- /dev/null +++ b/repos/os/recipes/api/block_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/block_session include/block +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/block_session/hash b/repos/os/recipes/api/block_session/hash new file mode 100644 index 0000000000..2814f7863f --- /dev/null +++ b/repos/os/recipes/api/block_session/hash @@ -0,0 +1 @@ +2017-04-24 6842f63221072ec32519e9cee35c4f84c2452961 diff --git a/repos/os/recipes/api/file_system_session/content.mk b/repos/os/recipes/api/file_system_session/content.mk new file mode 100644 index 0000000000..47507b95c5 --- /dev/null +++ b/repos/os/recipes/api/file_system_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/file_system_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/file_system_session/hash b/repos/os/recipes/api/file_system_session/hash new file mode 100644 index 0000000000..1e55bedaf7 --- /dev/null +++ b/repos/os/recipes/api/file_system_session/hash @@ -0,0 +1 @@ +2017-04-24 ab775d9d272c23fce6f7229f6496efad76faa479 diff --git a/repos/os/recipes/api/framebuffer_session/content.mk b/repos/os/recipes/api/framebuffer_session/content.mk new file mode 100644 index 0000000000..17fb11e73c --- /dev/null +++ b/repos/os/recipes/api/framebuffer_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/framebuffer_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/framebuffer_session/hash b/repos/os/recipes/api/framebuffer_session/hash new file mode 100644 index 0000000000..8cc0428d6f --- /dev/null +++ b/repos/os/recipes/api/framebuffer_session/hash @@ -0,0 +1 @@ +2017-04-24 55a45f8b7755bd097397883ce20c0dd93a234d27 diff --git a/repos/os/recipes/api/gpio_session/content.mk b/repos/os/recipes/api/gpio_session/content.mk new file mode 100644 index 0000000000..b25a968d0d --- /dev/null +++ b/repos/os/recipes/api/gpio_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/gpio_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/gpio_session/hash b/repos/os/recipes/api/gpio_session/hash new file mode 100644 index 0000000000..da78fd6e18 --- /dev/null +++ b/repos/os/recipes/api/gpio_session/hash @@ -0,0 +1 @@ +2017-04-24 74a742877d8dee48165c451572e732cce4b82687 diff --git a/repos/os/recipes/api/input_session/content.mk b/repos/os/recipes/api/input_session/content.mk new file mode 100644 index 0000000000..3500939717 --- /dev/null +++ b/repos/os/recipes/api/input_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/input_session include/input +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/input_session/hash b/repos/os/recipes/api/input_session/hash new file mode 100644 index 0000000000..f09f46ac17 --- /dev/null +++ b/repos/os/recipes/api/input_session/hash @@ -0,0 +1 @@ +2017-04-24 72274fd3bd3880fc28c95dd2aaa6205934a7c458 diff --git a/repos/os/recipes/api/loader_session/content.mk b/repos/os/recipes/api/loader_session/content.mk new file mode 100644 index 0000000000..cd7769511e --- /dev/null +++ b/repos/os/recipes/api/loader_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/loader_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/loader_session/hash b/repos/os/recipes/api/loader_session/hash new file mode 100644 index 0000000000..31a230742a --- /dev/null +++ b/repos/os/recipes/api/loader_session/hash @@ -0,0 +1 @@ +2017-04-24 ece4dbb1791d49f9a3107e0b99f3195b664bd54f diff --git a/repos/os/recipes/api/nic_session/content.mk b/repos/os/recipes/api/nic_session/content.mk new file mode 100644 index 0000000000..75f00b04a7 --- /dev/null +++ b/repos/os/recipes/api/nic_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/nic_session include/net include/nic +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/nic_session/hash b/repos/os/recipes/api/nic_session/hash new file mode 100644 index 0000000000..983d1c2af7 --- /dev/null +++ b/repos/os/recipes/api/nic_session/hash @@ -0,0 +1 @@ +2017-04-24 c9125ad88e7d947f7c4310837dee8220ea4a7c6f diff --git a/repos/os/recipes/api/nitpicker_gfx/content.mk b/repos/os/recipes/api/nitpicker_gfx/content.mk new file mode 100644 index 0000000000..aebc057eae --- /dev/null +++ b/repos/os/recipes/api/nitpicker_gfx/content.mk @@ -0,0 +1,8 @@ +content: include/nitpicker_gfx LICENSE + +include/nitpicker_gfx: + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ + diff --git a/repos/os/recipes/api/nitpicker_gfx/hash b/repos/os/recipes/api/nitpicker_gfx/hash new file mode 100644 index 0000000000..5efc424f27 --- /dev/null +++ b/repos/os/recipes/api/nitpicker_gfx/hash @@ -0,0 +1 @@ +2017-04-24 0c6254afec7f39434ed52a6c5787763416663b84 diff --git a/repos/os/recipes/api/nitpicker_session/content.mk b/repos/os/recipes/api/nitpicker_session/content.mk new file mode 100644 index 0000000000..abd8b9e6f7 --- /dev/null +++ b/repos/os/recipes/api/nitpicker_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/nitpicker_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/nitpicker_session/hash b/repos/os/recipes/api/nitpicker_session/hash new file mode 100644 index 0000000000..df71dd5cba --- /dev/null +++ b/repos/os/recipes/api/nitpicker_session/hash @@ -0,0 +1 @@ +2017-04-24 249106268bc26575006991e19ba3aa91fc2c9d1a diff --git a/repos/os/recipes/api/os/content.mk b/repos/os/recipes/api/os/content.mk new file mode 100644 index 0000000000..ed72bd94f6 --- /dev/null +++ b/repos/os/recipes/api/os/content.mk @@ -0,0 +1,13 @@ +INCLUDE_SUB_DIRS := os util packet_stream_rx packet_stream_tx + +MIRRORED_FROM_REP_DIR := $(addprefix include/,$(INCLUDE_SUB_DIRS)) \ + $(addprefix lib/mk/,alarm.mk timeout.mk) \ + $(addprefix src/lib/,alarm timeout) + +content: $(MIRRORED_FROM_REP_DIR) LICENSE + +$(MIRRORED_FROM_REP_DIR): + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ diff --git a/repos/os/recipes/api/os/hash b/repos/os/recipes/api/os/hash new file mode 100644 index 0000000000..8b74cf468b --- /dev/null +++ b/repos/os/recipes/api/os/hash @@ -0,0 +1 @@ +2017-04-24 031bd0faa279b5ed5c53d1816835062563802a1f diff --git a/repos/os/recipes/api/platform_session/content.mk b/repos/os/recipes/api/platform_session/content.mk new file mode 100644 index 0000000000..dc603eb47f --- /dev/null +++ b/repos/os/recipes/api/platform_session/content.mk @@ -0,0 +1,12 @@ +INCLUDE_SUB_DIRS := platform_session \ + spec/imx53/platform_session \ + spec/rpi/platform_session \ + spec/x86/platform_session \ + platform_device \ + spec/x86/platform_device + +INCLUDE_DIRS := $(addprefix include/,$(INCLUDE_SUB_DIRS)) + +MIRRORED_FROM_REP_DIR := $(INCLUDE_DIRS) + +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/platform_session/hash b/repos/os/recipes/api/platform_session/hash new file mode 100644 index 0000000000..a09eed5e79 --- /dev/null +++ b/repos/os/recipes/api/platform_session/hash @@ -0,0 +1 @@ +2017-04-24 52beb2788f41cb91db7e31738a8a2c6acc198d5a diff --git a/repos/os/recipes/api/regulator_session/content.mk b/repos/os/recipes/api/regulator_session/content.mk new file mode 100644 index 0000000000..5e1cad2e36 --- /dev/null +++ b/repos/os/recipes/api/regulator_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/regulator_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/regulator_session/hash b/repos/os/recipes/api/regulator_session/hash new file mode 100644 index 0000000000..2ed6d0dd90 --- /dev/null +++ b/repos/os/recipes/api/regulator_session/hash @@ -0,0 +1 @@ +2017-04-24 62ab50afef7a5668b7378c15590f4892c02ffa82 diff --git a/repos/os/recipes/api/report_session/content.mk b/repos/os/recipes/api/report_session/content.mk new file mode 100644 index 0000000000..0fa90f7a2a --- /dev/null +++ b/repos/os/recipes/api/report_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/report_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/report_session/hash b/repos/os/recipes/api/report_session/hash new file mode 100644 index 0000000000..de2432cee7 --- /dev/null +++ b/repos/os/recipes/api/report_session/hash @@ -0,0 +1 @@ +2017-04-24 69f97bbedcd254bfb5ef2a9c8bb2e7614cf8c1cb diff --git a/repos/os/recipes/api/rtc_session/content.mk b/repos/os/recipes/api/rtc_session/content.mk new file mode 100644 index 0000000000..1e6c3d73b2 --- /dev/null +++ b/repos/os/recipes/api/rtc_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/rtc_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/rtc_session/hash b/repos/os/recipes/api/rtc_session/hash new file mode 100644 index 0000000000..d45cf0ce01 --- /dev/null +++ b/repos/os/recipes/api/rtc_session/hash @@ -0,0 +1 @@ +2017-04-24 c360d27d007bfa57b831d969d9488c4e5c326fb2 diff --git a/repos/os/recipes/api/session.inc b/repos/os/recipes/api/session.inc new file mode 100644 index 0000000000..fe411da12b --- /dev/null +++ b/repos/os/recipes/api/session.inc @@ -0,0 +1,7 @@ +content: $(MIRRORED_FROM_REP_DIR) LICENSE + +$(MIRRORED_FROM_REP_DIR): + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ diff --git a/repos/os/recipes/api/terminal_session/content.mk b/repos/os/recipes/api/terminal_session/content.mk new file mode 100644 index 0000000000..943aab1d86 --- /dev/null +++ b/repos/os/recipes/api/terminal_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/terminal_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/terminal_session/hash b/repos/os/recipes/api/terminal_session/hash new file mode 100644 index 0000000000..f6313d6667 --- /dev/null +++ b/repos/os/recipes/api/terminal_session/hash @@ -0,0 +1 @@ +2017-04-24 5ae780e5147d583f4217bac0532d9b2e2b2dcc39 diff --git a/repos/os/recipes/api/timer_session/content.mk b/repos/os/recipes/api/timer_session/content.mk new file mode 100644 index 0000000000..aec2326c4c --- /dev/null +++ b/repos/os/recipes/api/timer_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/timer_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/timer_session/hash b/repos/os/recipes/api/timer_session/hash new file mode 100644 index 0000000000..3f3a5c00db --- /dev/null +++ b/repos/os/recipes/api/timer_session/hash @@ -0,0 +1 @@ +2017-04-24 846c73b4fba26c57d5925ba8cfc6c49fbbc16ca6 diff --git a/repos/os/recipes/api/uart_session/content.mk b/repos/os/recipes/api/uart_session/content.mk new file mode 100644 index 0000000000..b5252eba81 --- /dev/null +++ b/repos/os/recipes/api/uart_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/uart_session +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/uart_session/hash b/repos/os/recipes/api/uart_session/hash new file mode 100644 index 0000000000..6d80fd9ca3 --- /dev/null +++ b/repos/os/recipes/api/uart_session/hash @@ -0,0 +1 @@ +2017-04-24 7e0218bd1c7b85380b130f26c9720f0d3be72020 diff --git a/repos/os/recipes/api/usb_session/content.mk b/repos/os/recipes/api/usb_session/content.mk new file mode 100644 index 0000000000..d38e856189 --- /dev/null +++ b/repos/os/recipes/api/usb_session/content.mk @@ -0,0 +1,2 @@ +MIRRORED_FROM_REP_DIR := include/usb_session include/usb +include $(REP_DIR)/recipes/api/session.inc diff --git a/repos/os/recipes/api/usb_session/hash b/repos/os/recipes/api/usb_session/hash new file mode 100644 index 0000000000..da1654bd16 --- /dev/null +++ b/repos/os/recipes/api/usb_session/hash @@ -0,0 +1 @@ +2017-04-24 5ac0884ca9c9cfeef13fd6def8905f7a588f9d1c diff --git a/repos/os/recipes/api/vfs/content.mk b/repos/os/recipes/api/vfs/content.mk new file mode 100644 index 0000000000..50016099f0 --- /dev/null +++ b/repos/os/recipes/api/vfs/content.mk @@ -0,0 +1,8 @@ +content: include/vfs include/ram_fs/chunk.h lib/mk/vfs.mk src/lib/vfs LICENSE + +include/vfs include/ram_fs/chunk.h lib/mk/vfs.mk src/lib/vfs: + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ + diff --git a/repos/os/recipes/api/vfs/hash b/repos/os/recipes/api/vfs/hash new file mode 100644 index 0000000000..75e371bd3c --- /dev/null +++ b/repos/os/recipes/api/vfs/hash @@ -0,0 +1 @@ +2017-04-24 3e39aa3f35a125a05e8adf3fe142bfea1ba1d3b1 diff --git a/repos/os/recipes/pkg/drivers_interactive-linux/README b/repos/os/recipes/pkg/drivers_interactive-linux/README new file mode 100644 index 0000000000..46f0faa8c2 --- /dev/null +++ b/repos/os/recipes/pkg/drivers_interactive-linux/README @@ -0,0 +1,3 @@ + + Device drivers needed to run interactive + scenarios on Linux diff --git a/repos/os/recipes/pkg/drivers_interactive-linux/archives b/repos/os/recipes/pkg/drivers_interactive-linux/archives new file mode 100644 index 0000000000..7a12e6f83a --- /dev/null +++ b/repos/os/recipes/pkg/drivers_interactive-linux/archives @@ -0,0 +1,2 @@ +_/src/fb_sdl +_/raw/drivers_interactive-linux diff --git a/repos/os/recipes/pkg/drivers_interactive-linux/hash b/repos/os/recipes/pkg/drivers_interactive-linux/hash new file mode 100644 index 0000000000..a6d2fbf645 --- /dev/null +++ b/repos/os/recipes/pkg/drivers_interactive-linux/hash @@ -0,0 +1 @@ +2017-04-24 a4cbc060b24448b81addd34e0bc6741fdb5260f7 diff --git a/repos/os/recipes/pkg/drivers_interactive-pbxa9/README b/repos/os/recipes/pkg/drivers_interactive-pbxa9/README new file mode 100644 index 0000000000..06ec7a934b --- /dev/null +++ b/repos/os/recipes/pkg/drivers_interactive-pbxa9/README @@ -0,0 +1,3 @@ + + Device drivers needed to run interactive + scenarios on the PBX-A9 platform as emulated by Qemu diff --git a/repos/os/recipes/pkg/drivers_interactive-pbxa9/archives b/repos/os/recipes/pkg/drivers_interactive-pbxa9/archives new file mode 100644 index 0000000000..893b92b508 --- /dev/null +++ b/repos/os/recipes/pkg/drivers_interactive-pbxa9/archives @@ -0,0 +1,2 @@ +_/src/pbxa9_drivers +_/raw/drivers_interactive-pbxa9 diff --git a/repos/os/recipes/pkg/drivers_interactive-pbxa9/hash b/repos/os/recipes/pkg/drivers_interactive-pbxa9/hash new file mode 100644 index 0000000000..eea3f18fd6 --- /dev/null +++ b/repos/os/recipes/pkg/drivers_interactive-pbxa9/hash @@ -0,0 +1 @@ +2017-04-24 90c4c6fcaea98607c06ea383e2ca6b443ed81ca4 diff --git a/repos/os/recipes/pkg/drivers_interactive-pc/README b/repos/os/recipes/pkg/drivers_interactive-pc/README new file mode 100644 index 0000000000..e92e60ca50 --- /dev/null +++ b/repos/os/recipes/pkg/drivers_interactive-pc/README @@ -0,0 +1,3 @@ + + Device drivers needed to run interactive + scenarios on PC hardware diff --git a/repos/os/recipes/pkg/drivers_interactive-pc/archives b/repos/os/recipes/pkg/drivers_interactive-pc/archives new file mode 100644 index 0000000000..8e6555982d --- /dev/null +++ b/repos/os/recipes/pkg/drivers_interactive-pc/archives @@ -0,0 +1,8 @@ +_/src/platform_drv +_/src/acpi_drv +_/src/ps2_drv +_/src/usb_drv +_/src/vesa_drv +_/src/report_rom +_/src/input_filter +_/raw/drivers_interactive-pc diff --git a/repos/os/recipes/pkg/drivers_interactive-pc/hash b/repos/os/recipes/pkg/drivers_interactive-pc/hash new file mode 100644 index 0000000000..70d714ab3d --- /dev/null +++ b/repos/os/recipes/pkg/drivers_interactive-pc/hash @@ -0,0 +1 @@ +2017-04-26 5884917d68efd639f704fef3770ed4b6e456c167 diff --git a/repos/os/recipes/raw/drivers_interactive-linux/content.mk b/repos/os/recipes/raw/drivers_interactive-linux/content.mk new file mode 100644 index 0000000000..64c5a63f25 --- /dev/null +++ b/repos/os/recipes/raw/drivers_interactive-linux/content.mk @@ -0,0 +1,4 @@ +content: drivers.config + +drivers.config: + cp $(REP_DIR)/recipes/raw/drivers_interactive-linux/$@ $@ diff --git a/repos/os/recipes/raw/drivers_interactive-linux/drivers.config b/repos/os/recipes/raw/drivers_interactive-linux/drivers.config new file mode 100644 index 0000000000..d18d7d42bc --- /dev/null +++ b/repos/os/recipes/raw/drivers_interactive-linux/drivers.config @@ -0,0 +1,25 @@ +<config> + <parent-provides> + <service name="ROM"/> + <service name="RAM"/> + <service name="PD"/> + <service name="CPU"/> + <service name="LOG"/> + <service name="Timer"/> + </parent-provides> + + <service name="Framebuffer"> + <default-policy> <child name="fb_sdl"/> </default-policy> </service> + + <service name="Input"> + <default-policy> <child name="fb_sdl"/> </default-policy> </service> + + <start name="fb_sdl"> + <resource name="RAM" quantum="4M"/> + <provides> + <service name="Input"/> + <service name="Framebuffer"/> + </provides> + <route> <any-service> <parent/> </any-service> </route> + </start> +</config> diff --git a/repos/os/recipes/raw/drivers_interactive-linux/hash b/repos/os/recipes/raw/drivers_interactive-linux/hash new file mode 100644 index 0000000000..4115521053 --- /dev/null +++ b/repos/os/recipes/raw/drivers_interactive-linux/hash @@ -0,0 +1 @@ +2017-04-24 fe5f69b0024e1052309b63c410a0f1531d0a1b3e diff --git a/repos/os/recipes/raw/drivers_interactive-pbxa9/content.mk b/repos/os/recipes/raw/drivers_interactive-pbxa9/content.mk new file mode 100644 index 0000000000..bc463c7b84 --- /dev/null +++ b/repos/os/recipes/raw/drivers_interactive-pbxa9/content.mk @@ -0,0 +1,4 @@ +content: drivers.config + +drivers.config: + cp $(REP_DIR)/recipes/raw/drivers_interactive-pbxa9/$@ $@ diff --git a/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config b/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config new file mode 100644 index 0000000000..822372f9f3 --- /dev/null +++ b/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config @@ -0,0 +1,31 @@ +<config> + <parent-provides> + <service name="IRQ"/> + <service name="IO_MEM"/> + <service name="IO_PORT"/> + <service name="ROM"/> + <service name="RAM"/> + <service name="PD"/> + <service name="CPU"/> + <service name="LOG"/> + <service name="Timer"/> + </parent-provides> + + <service name="Framebuffer"> + <default-policy> <child name="fb_drv"/> </default-policy> </service> + + <service name="Input"> + <default-policy> <child name="ps2_drv"/> </default-policy> </service> + + <start name="fb_drv"> + <resource name="RAM" quantum="4M"/> + <provides> <service name="Framebuffer"/> </provides> + <route> <any-service> <parent/> </any-service> </route> + </start> + + <start name="ps2_drv"> + <resource name="RAM" quantum="1M"/> + <provides> <service name="Input"/> <service name="Framebuffer"/> </provides> + <route> <any-service> <parent/> </any-service> </route> + </start> +</config> diff --git a/repos/os/recipes/raw/drivers_interactive-pbxa9/hash b/repos/os/recipes/raw/drivers_interactive-pbxa9/hash new file mode 100644 index 0000000000..8a148c5e81 --- /dev/null +++ b/repos/os/recipes/raw/drivers_interactive-pbxa9/hash @@ -0,0 +1 @@ +2017-04-24 3b5c8323e4ee0cc1ac30844b394b8606f54bf66d diff --git a/repos/os/recipes/raw/drivers_interactive-pc/content.mk b/repos/os/recipes/raw/drivers_interactive-pc/content.mk new file mode 100644 index 0000000000..da93739b04 --- /dev/null +++ b/repos/os/recipes/raw/drivers_interactive-pc/content.mk @@ -0,0 +1,7 @@ +content: drivers.config fb_drv.config input_filter.config en_us.chargen + +drivers.config fb_drv.config input_filter.config: + cp $(REP_DIR)/recipes/raw/drivers_interactive-pc/$@ $@ + +en_us.chargen: + cp $(REP_DIR)/src/server/input_filter/$@ $@ diff --git a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config new file mode 100644 index 0000000000..b21f574986 --- /dev/null +++ b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config @@ -0,0 +1,142 @@ +<config> + + <parent-provides> + <service name="IRQ"/> + <service name="IO_MEM"/> + <service name="IO_PORT"/> + <service name="ROM"/> + <service name="RAM"/> + <service name="PD"/> + <service name="RM"/> + <service name="CPU"/> + <service name="LOG"/> + <service name="Timer"/> + </parent-provides> + + <service name="Framebuffer"> + <default-policy> <child name="fb_drv"/> </default-policy> </service> + + <service name="Input"> + <default-policy> <child name="input_filter"/> </default-policy> </service> + + <start name="acpi_drv"> + <resource name="RAM" quantum="2M"/> + <route> + <service name="IO_MEM"> <parent/> </service> + <service name="LOG"> <parent/> </service> + <service name="PD"> <parent/> </service> + <service name="RM"> <parent/> </service> + <service name="CPU"> <parent/> </service> + <service name="RAM"> <parent/> </service> + <service name="ROM"> <parent/> </service> + <service name="Report"> <child name="report_rom"/> </service> + </route> + </start> + + <start name="report_rom"> + <resource name="RAM" quantum="1M"/> + <provides> + <service name="ROM" /> + <service name="Report" /> + </provides> + <config> + <policy label="platform_drv -> acpi" report="acpi_drv -> acpi"/> + </config> + <route> + <service name="LOG"> <parent/> </service> + <service name="PD"> <parent/> </service> + <service name="CPU"> <parent/> </service> + <service name="RAM"> <parent/> </service> + <service name="ROM"> <parent/> </service> + </route> + </start> + + <start name="platform_drv"> + <resource name="RAM" quantum="3M" constrain_phys="yes"/> + <provides> + <service name="Platform"/> + <service name="Acpi"/> + </provides> + <route> + <service name="ROM" label="system"> <child name="report_rom"/> </service> + <service name="ROM" label="acpi"> <child name="report_rom"/> </service> + <service name="IRQ"> <parent/> </service> + <service name="IO_MEM"> <parent/> </service> + <service name="IO_PORT"> <parent/> </service> + <service name="ROM"> <parent/> </service> + <service name="RAM"> <parent/> </service> + <service name="PD"> <parent/> </service> + <service name="CPU"> <parent/> </service> + <service name="LOG"> <parent/> </service> + <service name="Timer"> <parent/> </service> + </route> + <config> + <policy label_prefix="ps2_drv"> <device name="PS2"/> </policy> + <policy label_prefix="fb_drv"> <pci class="VGA"/> </policy> + <policy label_prefix="usb_drv"> <pci class="USB"/> </policy> + </config> + </start> + + <start name="fb_drv"> + <resource name="RAM" quantum="4M"/> + <provides><service name="Framebuffer"/></provides> + <route> + <service name="ROM" label="config"> <parent label="fb_drv.config"/> </service> + <service name="Platform"> <child name="platform_drv"/> </service> + <service name="IO_PORT"> <parent/> </service> + <service name="IO_MEM"> <parent/> </service> + <service name="ROM"> <parent/> </service> + <service name="RAM"> <parent/> </service> + <service name="PD"> <parent/> </service> + <service name="CPU"> <parent/> </service> + <service name="LOG"> <parent/> </service> + <service name="Timer"> <parent/> </service> + </route> + </start> + + <start name="ps2_drv"> + <resource name="RAM" quantum="1M"/> + <provides> <service name="Input"/> </provides> + <route> + <service name="Platform"> <child name="platform_drv"/> </service> + <service name="ROM"> <parent/> </service> + <service name="RAM"> <parent/> </service> + <service name="PD"> <parent/> </service> + <service name="CPU"> <parent/> </service> + <service name="LOG"> <parent/> </service> + </route> + </start> + + <start name="usb_drv"> + <resource name="RAM" quantum="14M"/> + <provides> <service name="Input"/> </provides> + <config uhci="yes" ehci="yes" xhci="yes"> <hid/> </config> + <route> + <service name="Platform"> <child name="platform_drv"/> </service> + <service name="ROM"> <parent/> </service> + <service name="RAM"> <parent/> </service> + <service name="PD"> <parent/> </service> + <service name="RM"> <parent/> </service> + <service name="CPU"> <parent/> </service> + <service name="LOG"> <parent/> </service> + <service name="Timer"> <parent/> </service> + </route> + </start> + + <start name="input_filter"> + <resource name="RAM" quantum="1M"/> + <provides> <service name="Input"/> </provides> + <route> + <service name="ROM" label="config"> <parent label="input_filter.config"/> </service> + <service name="Input" label="ps2"> <child name="ps2_drv"/> </service> + <service name="Input" label="usb"> <child name="usb_drv"/> </service> + <service name="ROM"> <parent/> </service> + <service name="RAM"> <parent/> </service> + <service name="PD"> <parent/> </service> + <service name="CPU"> <parent/> </service> + <service name="LOG"> <parent/> </service> + <service name="Timer"> <parent/> </service> + </route> + </start> + +</config> diff --git a/repos/os/recipes/raw/drivers_interactive-pc/fb_drv.config b/repos/os/recipes/raw/drivers_interactive-pc/fb_drv.config new file mode 100644 index 0000000000..24da699e27 --- /dev/null +++ b/repos/os/recipes/raw/drivers_interactive-pc/fb_drv.config @@ -0,0 +1 @@ +<config width="1024" height="768" buffered="yes"/> diff --git a/repos/os/recipes/raw/drivers_interactive-pc/hash b/repos/os/recipes/raw/drivers_interactive-pc/hash new file mode 100644 index 0000000000..48e04b5e0b --- /dev/null +++ b/repos/os/recipes/raw/drivers_interactive-pc/hash @@ -0,0 +1 @@ +2017-04-24 8ee3fd7f8976675bc3c0edbf43577ba6b0da6f70 diff --git a/repos/os/recipes/raw/drivers_interactive-pc/input_filter.config b/repos/os/recipes/raw/drivers_interactive-pc/input_filter.config new file mode 100644 index 0000000000..2575044163 --- /dev/null +++ b/repos/os/recipes/raw/drivers_interactive-pc/input_filter.config @@ -0,0 +1,23 @@ +<config> + <input label="ps2"/> + <input label="usb"/> + <output> + <chargen> + <merge> + <input name="ps2"/> + <input name="usb"/> + </merge> + <mod1> + <key name="KEY_LEFTSHIFT"/> <key name="KEY_RIGHTSHIFT"/> + </mod1> + <mod2> + <key name="KEY_LEFTCTRL"/> <key name="KEY_RIGHTCTRL"/> + </mod2> + <mod3> + <key name="KEY_RIGHTALT"/> <!-- AltGr --> + </mod3> + <repeat delay_ms="500" rate_ms="250"/> + <include rom="en_us.chargen"/> + </chargen> + </output> +</config> diff --git a/repos/os/recipes/src/acpi_drv/content.mk b/repos/os/recipes/src/acpi_drv/content.mk new file mode 100644 index 0000000000..ef2d6490a8 --- /dev/null +++ b/repos/os/recipes/src/acpi_drv/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/drivers/acpi +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/acpi_drv/hash b/repos/os/recipes/src/acpi_drv/hash new file mode 100644 index 0000000000..5c06e33081 --- /dev/null +++ b/repos/os/recipes/src/acpi_drv/hash @@ -0,0 +1 @@ +2017-04-24 fb22b6246256963cd920824ed6152b25d290f551 diff --git a/repos/os/recipes/src/acpi_drv/used_apis b/repos/os/recipes/src/acpi_drv/used_apis new file mode 100644 index 0000000000..dbf0f2d7f7 --- /dev/null +++ b/repos/os/recipes/src/acpi_drv/used_apis @@ -0,0 +1,4 @@ +base +os +platform_session +report_session diff --git a/repos/os/recipes/src/dynamic_rom/content.mk b/repos/os/recipes/src/dynamic_rom/content.mk new file mode 100644 index 0000000000..dbb1cd84e6 --- /dev/null +++ b/repos/os/recipes/src/dynamic_rom/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/server/dynamic_rom +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/dynamic_rom/hash b/repos/os/recipes/src/dynamic_rom/hash new file mode 100644 index 0000000000..3561d7923c --- /dev/null +++ b/repos/os/recipes/src/dynamic_rom/hash @@ -0,0 +1 @@ +2017-04-24 217cc8e3e9cd6eb49e9507ed89a6c0ae8958d5ea diff --git a/repos/os/recipes/src/dynamic_rom/used_apis b/repos/os/recipes/src/dynamic_rom/used_apis new file mode 100644 index 0000000000..3a7f09b08d --- /dev/null +++ b/repos/os/recipes/src/dynamic_rom/used_apis @@ -0,0 +1,3 @@ +base +os +timer_session diff --git a/repos/os/recipes/src/fb_sdl/content.mk b/repos/os/recipes/src/fb_sdl/content.mk new file mode 100644 index 0000000000..b12f4ba1d7 --- /dev/null +++ b/repos/os/recipes/src/fb_sdl/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/drivers/framebuffer/spec/sdl +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/fb_sdl/hash b/repos/os/recipes/src/fb_sdl/hash new file mode 100644 index 0000000000..ab12de54ce --- /dev/null +++ b/repos/os/recipes/src/fb_sdl/hash @@ -0,0 +1 @@ +2017-04-24 261245750840fc526514b25b9b4b2f6563244266 diff --git a/repos/os/recipes/src/fb_sdl/used_apis b/repos/os/recipes/src/fb_sdl/used_apis new file mode 100644 index 0000000000..33d9c72d21 --- /dev/null +++ b/repos/os/recipes/src/fb_sdl/used_apis @@ -0,0 +1,6 @@ +base-linux +base +os +input_session +framebuffer_session +timer_session diff --git a/repos/os/recipes/src/init/content.mk b/repos/os/recipes/src/init/content.mk new file mode 100644 index 0000000000..81ea006792 --- /dev/null +++ b/repos/os/recipes/src/init/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/init +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/init/hash b/repos/os/recipes/src/init/hash new file mode 100644 index 0000000000..e1fe410ebc --- /dev/null +++ b/repos/os/recipes/src/init/hash @@ -0,0 +1 @@ +2017-04-24 93ba4296830bf6da8d249d4a5f516a521a789d76 diff --git a/repos/os/recipes/src/init/used_apis b/repos/os/recipes/src/init/used_apis new file mode 100644 index 0000000000..4b236de878 --- /dev/null +++ b/repos/os/recipes/src/init/used_apis @@ -0,0 +1,4 @@ +base +os +report_session +timer_session diff --git a/repos/os/recipes/src/input_filter/content.mk b/repos/os/recipes/src/input_filter/content.mk new file mode 100644 index 0000000000..0bdae927f7 --- /dev/null +++ b/repos/os/recipes/src/input_filter/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/server/input_filter +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/input_filter/hash b/repos/os/recipes/src/input_filter/hash new file mode 100644 index 0000000000..e998b92e1a --- /dev/null +++ b/repos/os/recipes/src/input_filter/hash @@ -0,0 +1 @@ +2017-04-24 86ee4544f1d5a3909085db0f1c702338ebce7bad diff --git a/repos/os/recipes/src/input_filter/used_apis b/repos/os/recipes/src/input_filter/used_apis new file mode 100644 index 0000000000..ab9bfd369a --- /dev/null +++ b/repos/os/recipes/src/input_filter/used_apis @@ -0,0 +1,4 @@ +base +os +input_session +timer_session diff --git a/repos/os/recipes/src/nit_fb/content.mk b/repos/os/recipes/src/nit_fb/content.mk new file mode 100644 index 0000000000..5126e438bd --- /dev/null +++ b/repos/os/recipes/src/nit_fb/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/server/nit_fb +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/nit_fb/hash b/repos/os/recipes/src/nit_fb/hash new file mode 100644 index 0000000000..27815ad24e --- /dev/null +++ b/repos/os/recipes/src/nit_fb/hash @@ -0,0 +1 @@ +2017-04-24 352391f025477553e5a347f45028c28aa9b5e0f0 diff --git a/repos/os/recipes/src/nit_fb/used_apis b/repos/os/recipes/src/nit_fb/used_apis new file mode 100644 index 0000000000..934d9a3fdc --- /dev/null +++ b/repos/os/recipes/src/nit_fb/used_apis @@ -0,0 +1,5 @@ +base +os +nitpicker_session +input_session +framebuffer_session diff --git a/repos/os/recipes/src/nitpicker/content.mk b/repos/os/recipes/src/nitpicker/content.mk new file mode 100644 index 0000000000..5aae1bb71c --- /dev/null +++ b/repos/os/recipes/src/nitpicker/content.mk @@ -0,0 +1,2 @@ +SRC_DIR := src/server/nitpicker src/app/pointer +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/nitpicker/hash b/repos/os/recipes/src/nitpicker/hash new file mode 100644 index 0000000000..bdd4832a8f --- /dev/null +++ b/repos/os/recipes/src/nitpicker/hash @@ -0,0 +1 @@ +2017-04-24 dac1a00ea5f1c77f6d7fcc3d1e9f703452f92911 diff --git a/repos/os/recipes/src/nitpicker/used_apis b/repos/os/recipes/src/nitpicker/used_apis new file mode 100644 index 0000000000..e343a60de4 --- /dev/null +++ b/repos/os/recipes/src/nitpicker/used_apis @@ -0,0 +1,9 @@ +base +os +nitpicker_gfx +blit +input_session +timer_session +framebuffer_session +nitpicker_session +report_session diff --git a/repos/os/recipes/src/pbxa9_drivers/content.mk b/repos/os/recipes/src/pbxa9_drivers/content.mk new file mode 100644 index 0000000000..fa9738caa3 --- /dev/null +++ b/repos/os/recipes/src/pbxa9_drivers/content.mk @@ -0,0 +1,16 @@ +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +content: src/drivers include + +src/drivers: + mkdir -p $@/framebuffer $@/input/ps2 + cp -r $(REP_DIR)/src/drivers/framebuffer/spec/pl11x/* $@/framebuffer + cp $(REP_DIR)/src/drivers/input/spec/ps2/*.h $@/input/ps2/ + cp -r $(REP_DIR)/src/drivers/input/spec/ps2/pl050 $@/input/ps2/ + sed -i "/REQUIRES/s/=.*/= arm/" src/drivers/framebuffer/pbxa9/target.mk + sed -i "/REQUIRES/s/=.*/= arm/" src/drivers/input/ps2/pl050/target.mk + +include: + mkdir -p $@ + cp $(REP_DIR)/include/spec/pbxa9/*.h $@ + cp -r $(GENODE_DIR)/repos/base/include/spec/pbxa9/drivers $@ diff --git a/repos/os/recipes/src/pbxa9_drivers/hash b/repos/os/recipes/src/pbxa9_drivers/hash new file mode 100644 index 0000000000..72c7558069 --- /dev/null +++ b/repos/os/recipes/src/pbxa9_drivers/hash @@ -0,0 +1 @@ +2017-04-24 94f99b98c35b02187757385ee29b346061d4b4dd diff --git a/repos/os/recipes/src/pbxa9_drivers/used_apis b/repos/os/recipes/src/pbxa9_drivers/used_apis new file mode 100644 index 0000000000..5a3e77af3c --- /dev/null +++ b/repos/os/recipes/src/pbxa9_drivers/used_apis @@ -0,0 +1,5 @@ +base +os +framebuffer_session +input_session +timer_session diff --git a/repos/os/recipes/src/platform_drv/content.mk b/repos/os/recipes/src/platform_drv/content.mk new file mode 100644 index 0000000000..9039ef6a2d --- /dev/null +++ b/repos/os/recipes/src/platform_drv/content.mk @@ -0,0 +1,7 @@ +SRC_DIR = src/drivers/platform +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +content: include/init/child_policy.h + +include/init/child_policy.h: + $(mirror_from_rep_dir) diff --git a/repos/os/recipes/src/platform_drv/hash b/repos/os/recipes/src/platform_drv/hash new file mode 100644 index 0000000000..be690d092e --- /dev/null +++ b/repos/os/recipes/src/platform_drv/hash @@ -0,0 +1 @@ +2017-04-24 7b6ddf338ab586d45edb2ba81e776dd3c96f142c diff --git a/repos/os/recipes/src/platform_drv/used_apis b/repos/os/recipes/src/platform_drv/used_apis new file mode 100644 index 0000000000..162b9dd123 --- /dev/null +++ b/repos/os/recipes/src/platform_drv/used_apis @@ -0,0 +1,3 @@ +base +os +platform_session diff --git a/repos/os/recipes/src/ps2_drv/content.mk b/repos/os/recipes/src/ps2_drv/content.mk new file mode 100644 index 0000000000..8bd25d5718 --- /dev/null +++ b/repos/os/recipes/src/ps2_drv/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/drivers/input/spec/ps2 +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/ps2_drv/hash b/repos/os/recipes/src/ps2_drv/hash new file mode 100644 index 0000000000..cce66e8a1c --- /dev/null +++ b/repos/os/recipes/src/ps2_drv/hash @@ -0,0 +1 @@ +2017-04-24 313173c56f1ed90f8977fc48ab6e0d137e66d5b7 diff --git a/repos/os/recipes/src/ps2_drv/used_apis b/repos/os/recipes/src/ps2_drv/used_apis new file mode 100644 index 0000000000..2a424bf2d2 --- /dev/null +++ b/repos/os/recipes/src/ps2_drv/used_apis @@ -0,0 +1,4 @@ +base +os +platform_session +input_session diff --git a/repos/os/recipes/src/report_rom/content.mk b/repos/os/recipes/src/report_rom/content.mk new file mode 100644 index 0000000000..c4b4aa1e67 --- /dev/null +++ b/repos/os/recipes/src/report_rom/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = include/report_rom src/server/report_rom +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/report_rom/hash b/repos/os/recipes/src/report_rom/hash new file mode 100644 index 0000000000..38a6846127 --- /dev/null +++ b/repos/os/recipes/src/report_rom/hash @@ -0,0 +1 @@ +2017-04-24 96162b1927336f1817fc89fb171546c38a4b9072 diff --git a/repos/os/recipes/src/report_rom/used_apis b/repos/os/recipes/src/report_rom/used_apis new file mode 100644 index 0000000000..69a94c6d26 --- /dev/null +++ b/repos/os/recipes/src/report_rom/used_apis @@ -0,0 +1,3 @@ +base +os +report_session diff --git a/repos/os/recipes/src/rom_filter/content.mk b/repos/os/recipes/src/rom_filter/content.mk new file mode 100644 index 0000000000..acc44661a0 --- /dev/null +++ b/repos/os/recipes/src/rom_filter/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/server/rom_filter +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/rom_filter/hash b/repos/os/recipes/src/rom_filter/hash new file mode 100644 index 0000000000..69f14349f2 --- /dev/null +++ b/repos/os/recipes/src/rom_filter/hash @@ -0,0 +1 @@ +2017-04-24 5064e83d4bc8099c078ff851d52bb0560e345ab9 diff --git a/repos/os/recipes/src/rom_filter/used_apis b/repos/os/recipes/src/rom_filter/used_apis new file mode 100644 index 0000000000..ec3bf565df --- /dev/null +++ b/repos/os/recipes/src/rom_filter/used_apis @@ -0,0 +1,2 @@ +base +os