?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 1772e6d) | patch
allow to specify different machine from command line
commitf80fd8c09bf21a836da9bfb1c5398d95c6ca33d4
authorMartin Decky <martin@decky.cz>
Tue, 31 Jul 2012 12:23:07 +0000 (31 14:23 +0200)
committerMartin Decky <martin@decky.cz>
Tue, 31 Jul 2012 12:23:07 +0000 (31 14:23 +0200)
tree7d5e1c755c8076ec328072f3377b32d2218d9c3dtree | snapshot (tar.gz zip)
parent1772e6d8daa54fce8e571f38accabed8f8303558commit | diff
allow to specify different machine from command line
contrib/conf/mips32-gx.sh diff | blob | blame | history
A portable microkernel-based multiserver operating system written from scratch.