package mirage-types
type buffer = buffer
The type for memory buffers.
type ip = ipv4
The type for IPv4/6 stacks for this stack to connect to.
type ipaddr = ipv4addr
The type for an IP address representations.
The type for input function continuation to pass onto the underlying IP
stack. This will normally be a NOOP for a conventional kernel, but a direct implementation will parse the buffer.
The type for callback functions that adds the UDP metadata for src
and dst
IP addresses, the src_port
of the connection and the buffer
payload of the datagram.
input listeners t
demultiplexes incoming datagrams based on their destination port. The listeners
callback will either return a concrete handler or a None
, which results in the datagram being dropped.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>