diff options
| author | https://www.google.com/accounts/o8/id?id=AItOawlyLVajq_XluZ1wvTunv9vbM_kx1H0nd6Q <Richard@web> | 2013-03-20 11:41:06 +0100 |
|---|---|---|
| committer | GNU Hurd web pages engine <web-hurd@gnu.org> | 2013-03-20 11:41:06 +0100 |
| commit | de595de0ec0dc6e2248aa905c06155dc196f2ec1 (patch) | |
| tree | 0385ac952ec204e7e27cb080ac9d2032821a1ec7 /microkernel/genode | |
| parent | d166bfaaa3ddf8b83b5cc6bde62f8872e6a80c82 (diff) | |
Comment out SMP project idea
Diffstat (limited to 'microkernel/genode')
0 files changed, 0 insertions, 0 deletions