The program fetch
A web client of this system: TCP in the program (support/tcp) over a segment endpoint with a client grant. The root service granted it 10.0.2.100 port 80 and nothing else. In the test of TCP against a stack that this project did not write, QEMU gives that address to a listener of the kernel tool on the host (`guestfwd`): the TCP at the other end is the one of libslirp.
The window shows each case, its answer, and whether it is the expected answer; the log has the same lines and the measures.
| Fact | Value |
|---|---|
| Source | programs/fetch |
| Boot image | in the boot image; the image is not built, so its size is not known |
| Imports | none |
| Imported by | none |
Exports
| Export | What it does |
|---|---|
| entry() |
Read from the source of the module, as the build reads it to describe the exports (tools/kerneltool/describe.odin).
What the root service gives it
| What | Value | As the root service says |
|---|---|---|
| Grants | {.Network} | |
| Budget: pages, programs, threads | {pages = 2048, programs = 1, threads = 1} | Not named in things_of: the budget of each other program. |
Read from grants_of and things_of in programs/root/main.odin; budget_of in the same file adds the limits of processor time and of log records.