read in a hex number.

read in a hex number.

parse the input file into tuples.

non-consuming lookahead.

read in 32 bits with an unknown op

read in 32 bits with an unknown op

semantics: match partial line: skip initial spaces.

partition in master boot record.

partition in master boot record.

verify that interrupts are disabled.

set so that we use armv6 memory. this should be wrapped up neater. broken down so can replace one by one. 1. the fields are defined in vm.h. 2. speci

create a mapping for <va> to <pa> in the page table <pt> for now: - assume domain = 0. - global mapping - executable - don't use APX - TEX,A,B: for to

as you can see, b/c we have no OS protection, we have to change code to prevent it from killing the machine. if we had virtual memory and priviledge

just echo what the child sends, make sure waitpid() can give us exit statis.

just echo what the child sends, make sure waitpid() can give us exit statis.

we could have this code raise the log except that the code and any string for print will not be a 32-bit int.

hack-y state machine to indicate when we've seen the special string 'DONE!!!' from the pi telling us to shutdown.

Change the size of a file */

print [p, p+n) as a string: use for ascii filled files.

change so that it prints out which registers are sp and lr.

recall: pipe[0] = read in, pipe[1] = write end.

replace any unprintable characters with a space. otherwise terminals can go haywire/bizarro. note, the string can contain 0's, so we send the size.

overwrite any unprintable characters with a space. otherwise terminals can go haywire/bizarro. note, the string can contain 0's, so we send the size.

internal consistency checks.

allocate <nsec> worth of space, read in from SD card, return pointer. your kmalloc better work!

C end of this: does sanity checking then calls asm.

XXX: if anyone figures out a cleaner way to do this, lmk. I don't have a mac, so stopped as soon as we had something that worked on linux & macos. p

this is just used by the reboot code.

Implement steps 1,2,3,4. 0 and 5 are implemented for exaple. Note: if timeout is too small you can fail here.

not much to do: we just open it.

read characters using <sw_uart_getc()> until: we do not receive any characters for <timeout> usec. make sure to 0 terminate!

test both rising and falling edges: should get rid of delays and wait until there is a change.