mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 22:23:16 +00:00
12 lines
496 B
Plaintext
12 lines
496 B
Plaintext
This repository contains the port of Genode for Xilinx MicroBlaze-based
|
|
platforms. It is based on an custom microkernel implementation, which is also
|
|
part of this repository. To get an overview on the this platform and the
|
|
underlying microkernel please refer to the introduction located at:
|
|
|
|
! <GENODE_DIR>/base-mb/doc/microblaze.txt
|
|
|
|
To get a quick overview about how to work with this platform, you may read the
|
|
getting-started guide located at:
|
|
|
|
! <GENODE_DIR>/base-mb/doc/getting_started.txt
|