// $Id$
-/* tab:2
+/*
* "Copyright (c) 2000-2005 The Regents of the University of California.
* All rights reserved.
*
#include "TOSBoot_platform.h"
-typedef struct tosboot_args_t {
- uint32_t imageAddr;
- uint8_t gestureCount;
- bool noReprogram;
-} tosboot_args_t;
-
#endif