Framework almost ready, before writing kernels