//
//  ViewController.h
//  meridianTV
//
//  Created by Kevin Bradley on 6/24/18.
//  Copyright © 2018 Ben Sparkes. All rights reserved.
//


#import "v0rtex.h"
#import <UIKit/UIKit.h>

@interface FocusedButton : UIButton

@property(nonatomic, strong) UIColor *focusColor;
@property(nonatomic, strong) UIColor *unfocusedColor;

- (void)buttonColors:(UIColor *)focusedColor andUnfocused:(UIColor *)unfocusedColor;

@end

@interface ViewController : UIViewController

- (void)writeText:(NSString *)message;
- (void)writeTextPlain:(NSString *)message, ...;

@end


task_t tfp0;
kptr_t kslide;
kptr_t kernel_base;
kptr_t kern_ucred;
kptr_t kernprocaddr;

void log_message(NSString *message);


