ehmry/genode-ehmry
ehmry/genode-ehmry
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
opt/nix-toolchain
genode-ehmry/repos/base-foc
History
Emery Hemingway dfd0efe2bb Tag Sculpt 19.07 
-----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2
 
 iQIcBAABCgAGBQJdJGPtAAoJEKckYDQX7Na3/3oP/3fgZKXRiFaSi0IWDX5leBLx
 bkKgqnnS9KRRLSIibOTZSOBE+HfIUb6gOr4Md1sdM9NILIF+R33cwPc8OUL4nsbc
 tefzgNCCtuDUmLTebDWrEE6Hz1ZJwUiXMOE3ACC/9zoMo9/lg1AQreK5QWt/+jDO
 JTH2SofQOeJjfme90qcJo0x/xg9/ARZzQLiPXigtlwWUEP6b0sA0q1wbcMZb4fyG
 14oOJew/9/3ARawvzw18oSCW1hAQyrDnP0Lm9N/i1vi+mcJc7uBFojXeEKe8IudM
 rq+5NRwj7hV2GfiujVb2MbdM6JpFT5dhUP5pyFDjUd5CuDxpAslYqCBRz7OJQNjz
 a28inTbRucbUDeca7jIg6/IUjpqFyRjWDcmh2ChUbJHWddNeh+8N7bJQUguJmlEL
 XrHeiPEGEbkhofZ7cUHUKbxOtpr+YAonyxSwoKCPWa5Co20E2NOl3C8bAuPZzJxI
 ij+PiPwG79dfW+Q24gV6OImzCeUbTcVibo/GodtySapfdTamE8fdEfgfMEjyPzj4
 2doK3Ufk2oN5XRIyThNErcgTj4Cm6zzhvocKt5Rk31d0FbKpDNM+aDwRMLMcCTTf
 lw8yYMjuFtEkGzQ1612VNB5occR4djx1TtG8EYF7aJ8hf+klpprM2/A4Uj4J6WIw
 M64j4W9LbVM5cj9ynL/m
 =ldp5
 -----END PGP SIGNATURE-----

Merge tag 'sculpt-19.07'
2019-07-09 14:20:54 +02:00
..
config foc: update to current github version (fix #3402) 2019-06-13 12:22:48 +02:00
doc foc: update to recent revision r79 (fix #2884) 2018-07-03 09:39:32 +02:00
etc base-foc: remove obsolete mk files 2017-02-28 12:59:25 +01:00
include foc: increase USER_BASE_CAP 2019-04-09 12:30:34 +02:00
lib depot: support for ARM 64-bit for base-foc on rpi3 2019-07-09 08:55:22 +02:00
patches foc: update to current github version (fix #3402) 2019-06-13 12:22:48 +02:00
ports foc: update to current github version (fix #3402) 2019-06-13 12:22:48 +02:00
recipes/src depot: update recipe hashes 2019-07-09 09:06:54 +02:00
run Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
src foc: extend vm_session impl. for vbox5 2019-06-13 12:22:49 +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 Fiasco.OC microkernel.
For further information, please refer to the following documents:

:[http://genode.org/community/wiki/GenodeOnFiascoOC - Genode on Fiasco.OC Wiki page]:
  This Wiki page contains the information on how to build and use
  Genode with Fiasco.OC.

:[http://os.inf.tu-dresden.de/fiasco]:
  Official website for the Fiasco.OC microkernel.