mini-os: fix various memory leaks in various locations
authorMatthew Daley <mattjd@gmail.com>
Wed, 18 Sep 2013 03:38:03 +0000 (15:38 +1200)
committerIan Campbell <ian.campbell@citrix.com>
Sat, 21 Sep 2013 15:43:04 +0000 (16:43 +0100)
commit6ea48409238672ed1e08cf8fa2cc8593e36a363a
tree48aaf4e327d8c22912af26046d0e8bd5114b8045
parentc2849d8fabab965973e23ac23fd28afd2873bac8
mini-os: fix various memory leaks in various locations

Coverity-ID: 1055827
Coverity-ID: 1055828
Coverity-ID: 1055829
Coverity-ID: 1055830
Coverity-ID: 1055831
Signed-off-by: Matthew Daley <mattjd@gmail.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/kernel.c
extras/mini-os/lib/xs.c