what about mach-shark?

[Linus Walleij]

On Wed, Aug 28, 2013 at 11:05 AM, Alexander Schulz <alex at shark-linux.de> wrote:
>> On Mon, Jul 4, 2011 at 10:08 PM, Nicolas Pitre <nico at fluxnic.net> wrote:
>>
>>> Is this used?
>>
>> This still goes unanswered after two years.
>>
>> Alexander, are you compiling and booting recent kernels on the Shark?
>
> Sorry, it must have slipped through somehow, I would have answered it if I
> had seen it. I still have an eye on the list but haven't found the time to
> really do anything with the shark in the recent time.

Does this mean you will find that soon-ish, or can we delete the
machine?

Deletion is not definitive, it can be reverted by git revert if you find
time to pick it up further down the road, we're mainly trying to
avoid generic maintenance on machines that may not even
boot.

Yours,
Linus Walleij