genode/foc.port at 703a013b600bb5597033e24fe71e6202efac1a5f - genode - Gitea

ExternalVendorCode/genode

mirror of https://github.com/genodelabs/genode.git synced 2024-12-27 01:11:06 +00:00

Stefan Kalkowski 01698233fd foc: use kernel with correct cache flush (arndale)

Thanks to ssumpf for finding the regression!

2017-11-09 12:18:44 +01:00

7 lines

185 B

Plaintext

Raw Blame History

 LICENSE   := GPLv2
 VERSION   := git
 DOWNLOADS := foc.git
 URL(foc)  := https://github.com/skalk/foc.git
 REV(foc)  := e8d92225e4e3e13c185398acb9cf1ded362efaf2
 DIR(foc)  := src/kernel/foc