rev: ed75a3e440d5bfe660a22175fd08458fce62598e tukan/lib/tukan/kernel.sc -rw-r--r-- 307 bytes View raw Log this file
ed75a3e440d5 — Leonard Ritter * more work on type schema a month ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
fn boot-image ()

    #
        we need to call to execute the root program, which is a shader



    raise false

fn boot-failsafe ()
    # start console thread
    # how do threads signal they're done?

fn boot ()
    try
        boot-image;
    else
        boot-failsafe;

do
    let boot
    locals;