ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-28 17:48:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
1,558 Commits 2 Branches 70 Tags 87 MiB
683832f461
Commit Graph

3 Commits

Author SHA1 Message Date
Martin Stein
2e7802b799 base-hw: flush cached zeroes in 'clear_ds(...)' 
Ref #706
 2013-05-22 18:32:05 +02:00
Norman Feske
73ab30c22c Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
Martin Stein
f1d599ae8a base: rename generic Board drivers Board_base 
To enable a repo to name its specific board driver 'Board'.

Fix #569
 2013-01-08 11:36:51 +01:00