genode

mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00

History

Martin Stein c23b74e150 base-hw: problems with timeout lib in src recipe This commit fixes two issues with the timeout lib and the base-hw src recipe: * Add source files of timeout lib to recipe content. The files weren't copied to the depot until now. However, the archive nonetheless built successfully because of the second issue that is described below. * Get rid of the usage of the BASE_DIR variable in the timeout lib. The BASE_DIR variable always resolves to the repos/base directory even when building in a depot. That said, the use of BASE_DIR in make-files that are not part of the build system itself must be avoided. Instead, REP_DIR, REP_INC_DIR, and $(call select_from_repositories, ...) should be used. Ref #4209		2022-10-12 11:59:08 +02:00
..
etc	base: remove SPEC variables of boards (fix #3971 )	2021-01-25 13:58:09 +01:00
include	nova: support interrupt mode config in assign_gsi	2022-08-10 13:32:59 +02:00
lib/mk	base: lay groundwork for base-linux caps change	2020-02-27 14:46:58 +01:00
mk/spec	Disambiguate kernel-specific file names	2016-12-23 16:51:32 +01:00
patches	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
ports	nova: support interrupt mode config in assign_gsi	2022-08-10 13:32:59 +02:00
recipes	base-hw: problems with timeout lib in src recipe	2022-10-12 11:59:08 +02:00
run	base: rm first-class support for static binaries	2018-08-02 14:36:38 +02:00
src	Remove pseudo targets for building shared libs	2022-09-19 14:00:32 +02:00
README	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00

README

This repository contains the port of Genode to the NOVA microhypervisor.

For more information on this base platform, please refer to the official
website.

:[http://hypervisor.org]: Official website for the NOVA microhypervisor.

For information on using Genode on NOVA, please revisit the documentation at
'base-nova/doc/nova.txt':