├── .gitignore ├── Makefile ├── README.md ├── boot ├── bochsrc └── isolinux │ ├── isolinux.bin │ ├── ldlinux.c32 │ ├── libcom32.c32 │ └── mboot.c32 ├── drivers ├── acpi.c ├── cga.c ├── kbd.c ├── membuf.c ├── pci.c ├── uart_8250.c └── uart_porte9.c ├── hv6 ├── Makefrag ├── arch │ ├── cc.h │ └── sys_arch.h ├── crt0.S ├── device.c ├── device.h ├── entry.S ├── fd.c ├── fd.h ├── initbin.S ├── invariants.c ├── invariants.h ├── ioport.c ├── ioport.h ├── ipc.c ├── ipc.h ├── kernel_verif.c ├── main.c ├── memlayout.h ├── mmap.c ├── mmap.h ├── param.h ├── proc.c ├── proc.h ├── spec │ ├── base.py │ ├── kernel │ │ ├── datatypes.py │ │ ├── main.py │ │ ├── spec │ │ │ ├── __init__.py │ │ │ ├── equiv.py │ │ │ ├── helpers.py │ │ │ ├── invariants.py │ │ │ ├── specs.py │ │ │ └── top.py │ │ └── syscall_spec.py │ └── user │ │ ├── datatypes.py │ │ ├── main.py │ │ └── spec.py ├── syscall.c ├── syscall.h ├── sysctl.c ├── test.py ├── trap.c ├── trap_entry.S ├── types.h ├── user │ ├── Makefrag │ ├── bench.c │ ├── bench.h │ ├── bounce.c │ ├── cat.c │ ├── cpio.c │ ├── daytime.c │ ├── dmesg.c │ ├── echo.c │ ├── fault.c │ ├── fcntl.h │ ├── freelist.c │ ├── fs │ │ ├── bio.c │ │ ├── file.c │ │ ├── fs.c │ │ ├── fs.h │ │ ├── fslayout.h │ │ ├── ide.c │ │ ├── inode.c │ │ ├── log.c │ │ ├── memdisk.c │ │ ├── memfs.S │ │ ├── mkfs.c │ │ ├── nvmedisk.c │ │ ├── pipe.c │ │ ├── stat.h │ │ ├── uiommu.c │ │ └── uiommu.h │ ├── genustub.py │ ├── grep.c │ ├── httpd.c │ ├── httpget.c │ ├── init.c │ ├── initcode.S │ ├── kill.c │ ├── lib │ │ ├── exec.c │ │ ├── fcntl.c │ │ ├── fork.c │ │ ├── linux.c │ │ ├── printf.c │ │ ├── readline.c │ │ ├── socket.c │ │ ├── trap.c │ │ ├── trap_entry.S │ │ ├── ubrk.c │ │ ├── ulib.c │ │ ├── ulib.lds │ │ ├── ulib_entry.S │ │ ├── umalloc.c │ │ └── usys.S │ ├── linux │ │ ├── bench_linux │ │ ├── bench_linux.c │ │ ├── compile │ │ ├── gzip │ │ ├── hello │ │ ├── hello.c │ │ ├── hello.lua │ │ ├── linux.h │ │ ├── lua │ │ ├── sha1sum │ │ ├── tcc │ │ ├── ter-x16n.psf │ │ ├── test.smt2 │ │ └── z3 │ ├── ls.c │ ├── lwip │ ├── lwipopts.h │ ├── mkdir.c │ ├── ns.c │ ├── ns.h │ ├── ps.c │ ├── pstree.c │ ├── readline.h │ ├── readylist.c │ ├── rm.c │ ├── sh.c │ ├── socket.h │ ├── timer.c │ ├── user.h │ ├── vmstat.c │ ├── vncd.c │ ├── wc.c │ └── wttr.c ├── vm.c └── vm.h ├── include └── uapi │ ├── assym.h │ ├── bitset.h │ ├── cdefs.h │ ├── console.h │ ├── container.h │ ├── e1000.h │ ├── elf.h │ ├── errno.h │ ├── image.h │ ├── machine │ ├── cpufunc.h │ ├── io.h │ ├── mmu.h │ ├── msr.h │ ├── segment.h │ ├── trap.h │ ├── trap_genassym.c │ └── trap_support.h │ ├── nvme.h │ ├── pci.h │ ├── pcidb.h │ ├── pcireg.h │ ├── psf.h │ ├── queue.h │ ├── syscall.h │ └── sysctl.h ├── irpy ├── .gitignore ├── Makefrag ├── compiler │ ├── Emitter.cc │ ├── Emitter.hh │ ├── PyEmitter.cc │ ├── PyEmitter.hh │ ├── PyLLVMEmitter.cc │ ├── PyLLVMEmitter.hh │ └── irpy.cc ├── libirpy │ ├── __init__.py │ ├── ctx.py │ ├── datatypes.py │ ├── eval.py │ ├── ex.py │ ├── itypes.py │ ├── server.py │ ├── solver.py │ ├── solver_utils.py │ ├── tests │ │ ├── __init__.py │ │ ├── test_ctx.py │ │ ├── test_reference.py │ │ └── test_types.py │ ├── util.py │ └── z3eval.py └── test │ ├── add.c │ ├── add_overflow.c │ ├── add_overflow_check.c │ ├── alloca.c │ ├── alloca_alias.c │ ├── array_arith.c │ ├── array_test.c │ ├── array_test2.c │ ├── big_shift.c │ ├── bool_zext.c │ ├── call_return.c │ ├── cond.c │ ├── cond2.c │ ├── cond_global.c │ ├── loop2.c │ ├── loop3.c │ ├── loop4.c │ ├── lsh.c │ ├── mul_overflow.c │ ├── path.c │ ├── poison_cond.c │ ├── ptrptr.c │ ├── rsh.c │ ├── sdiv.c │ ├── sext.c │ ├── srem.c │ ├── struct_.c │ ├── struct_cond.c │ ├── struct_t.c │ ├── switch.c │ ├── switch_table.c │ ├── test.py │ ├── trunc.c │ ├── udiv.c │ ├── urem.c │ ├── zero_div.c │ └── zext.c ├── kernel ├── Makefrag ├── amd_iommu.c ├── amd_iommu.h ├── config.h ├── cpuid.c ├── cpuid.h ├── fpu.c ├── hvm.c ├── hvm_support.S ├── include │ ├── acpi.h │ ├── bootmem.h │ ├── ctype.h │ ├── hvm.h │ ├── init.h │ ├── iommu.h │ ├── machine │ │ ├── env.h │ │ └── memlayout.h │ ├── multiboot.h │ ├── pagemap.h │ ├── stdio.h │ ├── stdlib.h │ ├── string.h │ ├── symtable.h │ └── time.h ├── intel_iommu.c ├── intel_iommu.h ├── ioapic.c ├── iommu.c ├── kernel.lds.S ├── locore.S ├── mtrr.c ├── pic.c ├── pmap.c ├── svm.c ├── svm.h ├── svm_entry.S ├── svm_genassym.c ├── tsc.c ├── vmx.c ├── vmx.h ├── vmx_entry.S ├── xapic.c └── xapic.h ├── lib ├── bootmem.c ├── console.c ├── panic.c ├── stdio.c ├── stdlib.c ├── string.c └── syslog.c ├── scripts ├── check-hv6-invariants.py ├── configure_bochs.sh ├── configure_qemu.sh ├── genassym.sh ├── gensymtable.py ├── isohybrid.pl ├── ldcheck.py ├── no_undef.sh ├── pytest ├── stackcheck.py └── stackcheck_config.py ├── user ├── lwip │ ├── FILES │ ├── Filelists.mk │ ├── api │ │ ├── api_lib.c │ │ ├── api_msg.c │ │ ├── err.c │ │ ├── netbuf.c │ │ ├── netdb.c │ │ ├── netifapi.c │ │ ├── sockets.c │ │ └── tcpip.c │ ├── apps │ │ ├── httpd │ │ │ ├── fs.c │ │ │ ├── fs │ │ │ │ ├── 404.html │ │ │ │ ├── img │ │ │ │ │ └── sics.gif │ │ │ │ └── index.html │ │ │ ├── fsdata.c │ │ │ ├── fsdata.h │ │ │ ├── httpd.c │ │ │ ├── httpd_structs.h │ │ │ └── makefsdata │ │ │ │ ├── makefsdata │ │ │ │ ├── makefsdata.c │ │ │ │ └── readme.txt │ │ ├── lwiperf │ │ │ └── lwiperf.c │ │ ├── mdns │ │ │ └── mdns.c │ │ ├── mqtt │ │ │ └── mqtt.c │ │ ├── netbiosns │ │ │ └── netbiosns.c │ │ ├── snmp │ │ │ ├── snmp_asn1.c │ │ │ ├── snmp_asn1.h │ │ │ ├── snmp_core.c │ │ │ ├── snmp_core_priv.h │ │ │ ├── snmp_mib2.c │ │ │ ├── snmp_mib2_icmp.c │ │ │ ├── snmp_mib2_interfaces.c │ │ │ ├── snmp_mib2_ip.c │ │ │ ├── snmp_mib2_snmp.c │ │ │ ├── snmp_mib2_system.c │ │ │ ├── snmp_mib2_tcp.c │ │ │ ├── snmp_mib2_udp.c │ │ │ ├── snmp_msg.c │ │ │ ├── snmp_msg.h │ │ │ ├── snmp_netconn.c │ │ │ ├── snmp_pbuf_stream.c │ │ │ ├── snmp_pbuf_stream.h │ │ │ ├── snmp_raw.c │ │ │ ├── snmp_scalar.c │ │ │ ├── snmp_table.c │ │ │ ├── snmp_threadsync.c │ │ │ ├── snmp_traps.c │ │ │ ├── snmpv3.c │ │ │ ├── snmpv3_dummy.c │ │ │ ├── snmpv3_mbedtls.c │ │ │ └── snmpv3_priv.h │ │ ├── sntp │ │ │ └── sntp.c │ │ └── tftp │ │ │ └── tftp_server.c │ ├── core │ │ ├── def.c │ │ ├── dns.c │ │ ├── inet_chksum.c │ │ ├── init.c │ │ ├── ip.c │ │ ├── ipv4 │ │ │ ├── autoip.c │ │ │ ├── dhcp.c │ │ │ ├── etharp.c │ │ │ ├── icmp.c │ │ │ ├── igmp.c │ │ │ ├── ip4.c │ │ │ ├── ip4_addr.c │ │ │ └── ip4_frag.c │ │ ├── ipv6 │ │ │ ├── dhcp6.c │ │ │ ├── ethip6.c │ │ │ ├── icmp6.c │ │ │ ├── inet6.c │ │ │ ├── ip6.c │ │ │ ├── ip6_addr.c │ │ │ ├── ip6_frag.c │ │ │ ├── mld6.c │ │ │ └── nd6.c │ │ ├── mem.c │ │ ├── memp.c │ │ ├── netif.c │ │ ├── pbuf.c │ │ ├── raw.c │ │ ├── stats.c │ │ ├── sys.c │ │ ├── tcp.c │ │ ├── tcp_in.c │ │ ├── tcp_out.c │ │ ├── timeouts.c │ │ └── udp.c │ ├── include │ │ ├── lwip │ │ │ ├── api.h │ │ │ ├── apps │ │ │ │ ├── FILES │ │ │ │ ├── fs.h │ │ │ │ ├── httpd.h │ │ │ │ ├── httpd_opts.h │ │ │ │ ├── lwiperf.h │ │ │ │ ├── mdns.h │ │ │ │ ├── mdns_opts.h │ │ │ │ ├── mdns_priv.h │ │ │ │ ├── mqtt.h │ │ │ │ ├── mqtt_opts.h │ │ │ │ ├── netbiosns.h │ │ │ │ ├── netbiosns_opts.h │ │ │ │ ├── snmp.h │ │ │ │ ├── snmp_core.h │ │ │ │ ├── snmp_mib2.h │ │ │ │ ├── snmp_opts.h │ │ │ │ ├── snmp_scalar.h │ │ │ │ ├── snmp_table.h │ │ │ │ ├── snmp_threadsync.h │ │ │ │ ├── snmpv3.h │ │ │ │ ├── sntp.h │ │ │ │ ├── sntp_opts.h │ │ │ │ ├── tftp_opts.h │ │ │ │ └── tftp_server.h │ │ │ ├── arch.h │ │ │ ├── autoip.h │ │ │ ├── debug.h │ │ │ ├── def.h │ │ │ ├── dhcp.h │ │ │ ├── dhcp6.h │ │ │ ├── dns.h │ │ │ ├── err.h │ │ │ ├── errno.h │ │ │ ├── etharp.h │ │ │ ├── ethip6.h │ │ │ ├── icmp.h │ │ │ ├── icmp6.h │ │ │ ├── igmp.h │ │ │ ├── inet.h │ │ │ ├── inet_chksum.h │ │ │ ├── init.h │ │ │ ├── ip.h │ │ │ ├── ip4.h │ │ │ ├── ip4_addr.h │ │ │ ├── ip4_frag.h │ │ │ ├── ip6.h │ │ │ ├── ip6_addr.h │ │ │ ├── ip6_frag.h │ │ │ ├── ip_addr.h │ │ │ ├── mem.h │ │ │ ├── memp.h │ │ │ ├── mld6.h │ │ │ ├── nd6.h │ │ │ ├── netbuf.h │ │ │ ├── netdb.h │ │ │ ├── netif.h │ │ │ ├── netifapi.h │ │ │ ├── opt.h │ │ │ ├── pbuf.h │ │ │ ├── priv │ │ │ │ ├── api_msg.h │ │ │ │ ├── memp_priv.h │ │ │ │ ├── memp_std.h │ │ │ │ ├── nd6_priv.h │ │ │ │ ├── tcp_priv.h │ │ │ │ └── tcpip_priv.h │ │ │ ├── prot │ │ │ │ ├── autoip.h │ │ │ │ ├── dhcp.h │ │ │ │ ├── dns.h │ │ │ │ ├── etharp.h │ │ │ │ ├── ethernet.h │ │ │ │ ├── icmp.h │ │ │ │ ├── icmp6.h │ │ │ │ ├── igmp.h │ │ │ │ ├── ip.h │ │ │ │ ├── ip4.h │ │ │ │ ├── ip6.h │ │ │ │ ├── mld6.h │ │ │ │ ├── nd6.h │ │ │ │ ├── tcp.h │ │ │ │ └── udp.h │ │ │ ├── raw.h │ │ │ ├── sio.h │ │ │ ├── snmp.h │ │ │ ├── sockets.h │ │ │ ├── stats.h │ │ │ ├── sys.h │ │ │ ├── tcp.h │ │ │ ├── tcpip.h │ │ │ ├── timeouts.h │ │ │ └── udp.h │ │ ├── netif │ │ │ ├── etharp.h │ │ │ ├── ethernet.h │ │ │ ├── lowpan6.h │ │ │ ├── lowpan6_opts.h │ │ │ ├── ppp │ │ │ │ ├── ccp.h │ │ │ │ ├── chap-md5.h │ │ │ │ ├── chap-new.h │ │ │ │ ├── chap_ms.h │ │ │ │ ├── eap.h │ │ │ │ ├── ecp.h │ │ │ │ ├── eui64.h │ │ │ │ ├── fsm.h │ │ │ │ ├── ipcp.h │ │ │ │ ├── ipv6cp.h │ │ │ │ ├── lcp.h │ │ │ │ ├── magic.h │ │ │ │ ├── mppe.h │ │ │ │ ├── polarssl │ │ │ │ │ ├── arc4.h │ │ │ │ │ ├── des.h │ │ │ │ │ ├── md4.h │ │ │ │ │ ├── md5.h │ │ │ │ │ └── sha1.h │ │ │ │ ├── ppp.h │ │ │ │ ├── ppp_impl.h │ │ │ │ ├── ppp_opts.h │ │ │ │ ├── pppapi.h │ │ │ │ ├── pppcrypt.h │ │ │ │ ├── pppdebug.h │ │ │ │ ├── pppoe.h │ │ │ │ ├── pppol2tp.h │ │ │ │ ├── pppos.h │ │ │ │ ├── upap.h │ │ │ │ └── vj.h │ │ │ └── slipif.h │ │ └── posix │ │ │ ├── errno.h │ │ │ ├── netdb.h │ │ │ └── sys │ │ │ └── socket.h │ └── netif │ │ ├── FILES │ │ ├── ethernet.c │ │ ├── ethernetif.c │ │ ├── lowpan6.c │ │ ├── ppp │ │ ├── PPPD_FOLLOWUP │ │ ├── auth.c │ │ ├── ccp.c │ │ ├── chap-md5.c │ │ ├── chap-new.c │ │ ├── chap_ms.c │ │ ├── demand.c │ │ ├── eap.c │ │ ├── ecp.c │ │ ├── eui64.c │ │ ├── fsm.c │ │ ├── ipcp.c │ │ ├── ipv6cp.c │ │ ├── lcp.c │ │ ├── magic.c │ │ ├── mppe.c │ │ ├── multilink.c │ │ ├── polarssl │ │ │ ├── README │ │ │ ├── arc4.c │ │ │ ├── des.c │ │ │ ├── md4.c │ │ │ ├── md5.c │ │ │ └── sha1.c │ │ ├── ppp.c │ │ ├── pppapi.c │ │ ├── pppcrypt.c │ │ ├── pppoe.c │ │ ├── pppol2tp.c │ │ ├── pppos.c │ │ ├── upap.c │ │ ├── utils.c │ │ └── vj.c │ │ └── slipif.c ├── trap.c └── trap_entry.S └── web ├── d3.v4.min.js ├── jquery.min.js ├── memmap.html ├── pstree.html └── sh.html /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/README.md -------------------------------------------------------------------------------- /boot/bochsrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/boot/bochsrc -------------------------------------------------------------------------------- /boot/isolinux/isolinux.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/boot/isolinux/isolinux.bin -------------------------------------------------------------------------------- /boot/isolinux/ldlinux.c32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/boot/isolinux/ldlinux.c32 -------------------------------------------------------------------------------- /boot/isolinux/libcom32.c32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/boot/isolinux/libcom32.c32 -------------------------------------------------------------------------------- /boot/isolinux/mboot.c32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/boot/isolinux/mboot.c32 -------------------------------------------------------------------------------- /drivers/acpi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/drivers/acpi.c -------------------------------------------------------------------------------- /drivers/cga.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/drivers/cga.c -------------------------------------------------------------------------------- /drivers/kbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/drivers/kbd.c -------------------------------------------------------------------------------- /drivers/membuf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/drivers/membuf.c -------------------------------------------------------------------------------- /drivers/pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/drivers/pci.c -------------------------------------------------------------------------------- /drivers/uart_8250.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/drivers/uart_8250.c -------------------------------------------------------------------------------- /drivers/uart_porte9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/drivers/uart_porte9.c -------------------------------------------------------------------------------- /hv6/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/Makefrag -------------------------------------------------------------------------------- /hv6/arch/cc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/arch/cc.h -------------------------------------------------------------------------------- /hv6/arch/sys_arch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/arch/sys_arch.h -------------------------------------------------------------------------------- /hv6/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/crt0.S -------------------------------------------------------------------------------- /hv6/device.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/device.c -------------------------------------------------------------------------------- /hv6/device.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/device.h -------------------------------------------------------------------------------- /hv6/entry.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/entry.S -------------------------------------------------------------------------------- /hv6/fd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/fd.c -------------------------------------------------------------------------------- /hv6/fd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/fd.h -------------------------------------------------------------------------------- /hv6/initbin.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/initbin.S -------------------------------------------------------------------------------- /hv6/invariants.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/invariants.c -------------------------------------------------------------------------------- /hv6/invariants.h: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | void check_invariants(void); 4 | -------------------------------------------------------------------------------- /hv6/ioport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/ioport.c -------------------------------------------------------------------------------- /hv6/ioport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/ioport.h -------------------------------------------------------------------------------- /hv6/ipc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/ipc.c -------------------------------------------------------------------------------- /hv6/ipc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/ipc.h -------------------------------------------------------------------------------- /hv6/kernel_verif.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/kernel_verif.c -------------------------------------------------------------------------------- /hv6/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/main.c -------------------------------------------------------------------------------- /hv6/memlayout.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/memlayout.h -------------------------------------------------------------------------------- /hv6/mmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/mmap.c -------------------------------------------------------------------------------- /hv6/mmap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/mmap.h -------------------------------------------------------------------------------- /hv6/param.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/param.h -------------------------------------------------------------------------------- /hv6/proc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/proc.c -------------------------------------------------------------------------------- /hv6/proc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/proc.h -------------------------------------------------------------------------------- /hv6/spec/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/base.py -------------------------------------------------------------------------------- /hv6/spec/kernel/datatypes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/kernel/datatypes.py -------------------------------------------------------------------------------- /hv6/spec/kernel/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/kernel/main.py -------------------------------------------------------------------------------- /hv6/spec/kernel/spec/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/kernel/spec/__init__.py -------------------------------------------------------------------------------- /hv6/spec/kernel/spec/equiv.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/kernel/spec/equiv.py -------------------------------------------------------------------------------- /hv6/spec/kernel/spec/helpers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/kernel/spec/helpers.py -------------------------------------------------------------------------------- /hv6/spec/kernel/spec/invariants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/kernel/spec/invariants.py -------------------------------------------------------------------------------- /hv6/spec/kernel/spec/specs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/kernel/spec/specs.py -------------------------------------------------------------------------------- /hv6/spec/kernel/spec/top.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/kernel/spec/top.py -------------------------------------------------------------------------------- /hv6/spec/kernel/syscall_spec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/kernel/syscall_spec.py -------------------------------------------------------------------------------- /hv6/spec/user/datatypes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/user/datatypes.py -------------------------------------------------------------------------------- /hv6/spec/user/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/user/main.py -------------------------------------------------------------------------------- /hv6/spec/user/spec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/spec/user/spec.py -------------------------------------------------------------------------------- /hv6/syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/syscall.c -------------------------------------------------------------------------------- /hv6/syscall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/syscall.h -------------------------------------------------------------------------------- /hv6/sysctl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/sysctl.c -------------------------------------------------------------------------------- /hv6/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/test.py -------------------------------------------------------------------------------- /hv6/trap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/trap.c -------------------------------------------------------------------------------- /hv6/trap_entry.S: -------------------------------------------------------------------------------- 1 | ../user/trap_entry.S -------------------------------------------------------------------------------- /hv6/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/types.h -------------------------------------------------------------------------------- /hv6/user/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/Makefrag -------------------------------------------------------------------------------- /hv6/user/bench.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/bench.c -------------------------------------------------------------------------------- /hv6/user/bench.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/bench.h -------------------------------------------------------------------------------- /hv6/user/bounce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/bounce.c -------------------------------------------------------------------------------- /hv6/user/cat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/cat.c -------------------------------------------------------------------------------- /hv6/user/cpio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/cpio.c -------------------------------------------------------------------------------- /hv6/user/daytime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/daytime.c -------------------------------------------------------------------------------- /hv6/user/dmesg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/dmesg.c -------------------------------------------------------------------------------- /hv6/user/echo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/echo.c -------------------------------------------------------------------------------- /hv6/user/fault.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fault.c -------------------------------------------------------------------------------- /hv6/user/fcntl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fcntl.h -------------------------------------------------------------------------------- /hv6/user/freelist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/freelist.c -------------------------------------------------------------------------------- /hv6/user/fs/bio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/bio.c -------------------------------------------------------------------------------- /hv6/user/fs/file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/file.c -------------------------------------------------------------------------------- /hv6/user/fs/fs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/fs.c -------------------------------------------------------------------------------- /hv6/user/fs/fs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/fs.h -------------------------------------------------------------------------------- /hv6/user/fs/fslayout.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/fslayout.h -------------------------------------------------------------------------------- /hv6/user/fs/ide.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/ide.c -------------------------------------------------------------------------------- /hv6/user/fs/inode.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/inode.c -------------------------------------------------------------------------------- /hv6/user/fs/log.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/log.c -------------------------------------------------------------------------------- /hv6/user/fs/memdisk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/memdisk.c -------------------------------------------------------------------------------- /hv6/user/fs/memfs.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/memfs.S -------------------------------------------------------------------------------- /hv6/user/fs/mkfs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/mkfs.c -------------------------------------------------------------------------------- /hv6/user/fs/nvmedisk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/nvmedisk.c -------------------------------------------------------------------------------- /hv6/user/fs/pipe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/pipe.c -------------------------------------------------------------------------------- /hv6/user/fs/stat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/stat.h -------------------------------------------------------------------------------- /hv6/user/fs/uiommu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/uiommu.c -------------------------------------------------------------------------------- /hv6/user/fs/uiommu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/fs/uiommu.h -------------------------------------------------------------------------------- /hv6/user/genustub.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/genustub.py -------------------------------------------------------------------------------- /hv6/user/grep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/grep.c -------------------------------------------------------------------------------- /hv6/user/httpd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/httpd.c -------------------------------------------------------------------------------- /hv6/user/httpget.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/httpget.c -------------------------------------------------------------------------------- /hv6/user/init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/init.c -------------------------------------------------------------------------------- /hv6/user/initcode.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/initcode.S -------------------------------------------------------------------------------- /hv6/user/kill.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/kill.c -------------------------------------------------------------------------------- /hv6/user/lib/exec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/exec.c -------------------------------------------------------------------------------- /hv6/user/lib/fcntl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/fcntl.c -------------------------------------------------------------------------------- /hv6/user/lib/fork.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/fork.c -------------------------------------------------------------------------------- /hv6/user/lib/linux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/linux.c -------------------------------------------------------------------------------- /hv6/user/lib/printf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/printf.c -------------------------------------------------------------------------------- /hv6/user/lib/readline.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/readline.c -------------------------------------------------------------------------------- /hv6/user/lib/socket.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/socket.c -------------------------------------------------------------------------------- /hv6/user/lib/trap.c: -------------------------------------------------------------------------------- 1 | ../../../user/trap.c -------------------------------------------------------------------------------- /hv6/user/lib/trap_entry.S: -------------------------------------------------------------------------------- 1 | ../../../user/trap_entry.S -------------------------------------------------------------------------------- /hv6/user/lib/ubrk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/ubrk.c -------------------------------------------------------------------------------- /hv6/user/lib/ulib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/ulib.c -------------------------------------------------------------------------------- /hv6/user/lib/ulib.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/ulib.lds -------------------------------------------------------------------------------- /hv6/user/lib/ulib_entry.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/ulib_entry.S -------------------------------------------------------------------------------- /hv6/user/lib/umalloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/umalloc.c -------------------------------------------------------------------------------- /hv6/user/lib/usys.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lib/usys.S -------------------------------------------------------------------------------- /hv6/user/linux/bench_linux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/bench_linux -------------------------------------------------------------------------------- /hv6/user/linux/bench_linux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/bench_linux.c -------------------------------------------------------------------------------- /hv6/user/linux/compile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/compile -------------------------------------------------------------------------------- /hv6/user/linux/gzip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/gzip -------------------------------------------------------------------------------- /hv6/user/linux/hello: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/hello -------------------------------------------------------------------------------- /hv6/user/linux/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/hello.c -------------------------------------------------------------------------------- /hv6/user/linux/hello.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/hello.lua -------------------------------------------------------------------------------- /hv6/user/linux/linux.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/linux.h -------------------------------------------------------------------------------- /hv6/user/linux/lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/lua -------------------------------------------------------------------------------- /hv6/user/linux/sha1sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/sha1sum -------------------------------------------------------------------------------- /hv6/user/linux/tcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/tcc -------------------------------------------------------------------------------- /hv6/user/linux/ter-x16n.psf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/ter-x16n.psf -------------------------------------------------------------------------------- /hv6/user/linux/test.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/test.smt2 -------------------------------------------------------------------------------- /hv6/user/linux/z3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/linux/z3 -------------------------------------------------------------------------------- /hv6/user/ls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/ls.c -------------------------------------------------------------------------------- /hv6/user/lwip: -------------------------------------------------------------------------------- 1 | ../../user/lwip -------------------------------------------------------------------------------- /hv6/user/lwipopts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/lwipopts.h -------------------------------------------------------------------------------- /hv6/user/mkdir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/mkdir.c -------------------------------------------------------------------------------- /hv6/user/ns.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/ns.c -------------------------------------------------------------------------------- /hv6/user/ns.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/ns.h -------------------------------------------------------------------------------- /hv6/user/ps.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/ps.c -------------------------------------------------------------------------------- /hv6/user/pstree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/pstree.c -------------------------------------------------------------------------------- /hv6/user/readline.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/readline.h -------------------------------------------------------------------------------- /hv6/user/readylist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/readylist.c -------------------------------------------------------------------------------- /hv6/user/rm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/rm.c -------------------------------------------------------------------------------- /hv6/user/sh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/sh.c -------------------------------------------------------------------------------- /hv6/user/socket.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/socket.h -------------------------------------------------------------------------------- /hv6/user/timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/timer.c -------------------------------------------------------------------------------- /hv6/user/user.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/user.h -------------------------------------------------------------------------------- /hv6/user/vmstat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/vmstat.c -------------------------------------------------------------------------------- /hv6/user/vncd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/vncd.c -------------------------------------------------------------------------------- /hv6/user/wc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/wc.c -------------------------------------------------------------------------------- /hv6/user/wttr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/user/wttr.c -------------------------------------------------------------------------------- /hv6/vm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/vm.c -------------------------------------------------------------------------------- /hv6/vm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/hv6/vm.h -------------------------------------------------------------------------------- /include/uapi/assym.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/assym.h -------------------------------------------------------------------------------- /include/uapi/bitset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/bitset.h -------------------------------------------------------------------------------- /include/uapi/cdefs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/cdefs.h -------------------------------------------------------------------------------- /include/uapi/console.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/console.h -------------------------------------------------------------------------------- /include/uapi/container.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/container.h -------------------------------------------------------------------------------- /include/uapi/e1000.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/e1000.h -------------------------------------------------------------------------------- /include/uapi/elf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/elf.h -------------------------------------------------------------------------------- /include/uapi/errno.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/errno.h -------------------------------------------------------------------------------- /include/uapi/image.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/image.h -------------------------------------------------------------------------------- /include/uapi/machine/cpufunc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/machine/cpufunc.h -------------------------------------------------------------------------------- /include/uapi/machine/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/machine/io.h -------------------------------------------------------------------------------- /include/uapi/machine/mmu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/machine/mmu.h -------------------------------------------------------------------------------- /include/uapi/machine/msr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/machine/msr.h -------------------------------------------------------------------------------- /include/uapi/machine/segment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/machine/segment.h -------------------------------------------------------------------------------- /include/uapi/machine/trap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/machine/trap.h -------------------------------------------------------------------------------- /include/uapi/machine/trap_genassym.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/machine/trap_genassym.c -------------------------------------------------------------------------------- /include/uapi/machine/trap_support.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/machine/trap_support.h -------------------------------------------------------------------------------- /include/uapi/nvme.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/nvme.h -------------------------------------------------------------------------------- /include/uapi/pci.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/pci.h -------------------------------------------------------------------------------- /include/uapi/pcidb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/pcidb.h -------------------------------------------------------------------------------- /include/uapi/pcireg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/pcireg.h -------------------------------------------------------------------------------- /include/uapi/psf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/psf.h -------------------------------------------------------------------------------- /include/uapi/queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/queue.h -------------------------------------------------------------------------------- /include/uapi/syscall.h: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | #define NR_syscalls 128 4 | -------------------------------------------------------------------------------- /include/uapi/sysctl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/include/uapi/sysctl.h -------------------------------------------------------------------------------- /irpy/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/.gitignore -------------------------------------------------------------------------------- /irpy/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/Makefrag -------------------------------------------------------------------------------- /irpy/compiler/Emitter.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/compiler/Emitter.cc -------------------------------------------------------------------------------- /irpy/compiler/Emitter.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/compiler/Emitter.hh -------------------------------------------------------------------------------- /irpy/compiler/PyEmitter.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/compiler/PyEmitter.cc -------------------------------------------------------------------------------- /irpy/compiler/PyEmitter.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/compiler/PyEmitter.hh -------------------------------------------------------------------------------- /irpy/compiler/PyLLVMEmitter.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/compiler/PyLLVMEmitter.cc -------------------------------------------------------------------------------- /irpy/compiler/PyLLVMEmitter.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/compiler/PyLLVMEmitter.hh -------------------------------------------------------------------------------- /irpy/compiler/irpy.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/compiler/irpy.cc -------------------------------------------------------------------------------- /irpy/libirpy/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/__init__.py -------------------------------------------------------------------------------- /irpy/libirpy/ctx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/ctx.py -------------------------------------------------------------------------------- /irpy/libirpy/datatypes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/datatypes.py -------------------------------------------------------------------------------- /irpy/libirpy/eval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/eval.py -------------------------------------------------------------------------------- /irpy/libirpy/ex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/ex.py -------------------------------------------------------------------------------- /irpy/libirpy/itypes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/itypes.py -------------------------------------------------------------------------------- /irpy/libirpy/server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/server.py -------------------------------------------------------------------------------- /irpy/libirpy/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/solver.py -------------------------------------------------------------------------------- /irpy/libirpy/solver_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/solver_utils.py -------------------------------------------------------------------------------- /irpy/libirpy/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /irpy/libirpy/tests/test_ctx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/tests/test_ctx.py -------------------------------------------------------------------------------- /irpy/libirpy/tests/test_reference.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/tests/test_reference.py -------------------------------------------------------------------------------- /irpy/libirpy/tests/test_types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/tests/test_types.py -------------------------------------------------------------------------------- /irpy/libirpy/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/util.py -------------------------------------------------------------------------------- /irpy/libirpy/z3eval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/libirpy/z3eval.py -------------------------------------------------------------------------------- /irpy/test/add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/add.c -------------------------------------------------------------------------------- /irpy/test/add_overflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/add_overflow.c -------------------------------------------------------------------------------- /irpy/test/add_overflow_check.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/add_overflow_check.c -------------------------------------------------------------------------------- /irpy/test/alloca.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/alloca.c -------------------------------------------------------------------------------- /irpy/test/alloca_alias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/alloca_alias.c -------------------------------------------------------------------------------- /irpy/test/array_arith.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/array_arith.c -------------------------------------------------------------------------------- /irpy/test/array_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/array_test.c -------------------------------------------------------------------------------- /irpy/test/array_test2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/array_test2.c -------------------------------------------------------------------------------- /irpy/test/big_shift.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/big_shift.c -------------------------------------------------------------------------------- /irpy/test/bool_zext.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/bool_zext.c -------------------------------------------------------------------------------- /irpy/test/call_return.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/call_return.c -------------------------------------------------------------------------------- /irpy/test/cond.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/cond.c -------------------------------------------------------------------------------- /irpy/test/cond2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/cond2.c -------------------------------------------------------------------------------- /irpy/test/cond_global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/cond_global.c -------------------------------------------------------------------------------- /irpy/test/loop2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/loop2.c -------------------------------------------------------------------------------- /irpy/test/loop3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/loop3.c -------------------------------------------------------------------------------- /irpy/test/loop4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/loop4.c -------------------------------------------------------------------------------- /irpy/test/lsh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/lsh.c -------------------------------------------------------------------------------- /irpy/test/mul_overflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/mul_overflow.c -------------------------------------------------------------------------------- /irpy/test/path.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/path.c -------------------------------------------------------------------------------- /irpy/test/poison_cond.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/poison_cond.c -------------------------------------------------------------------------------- /irpy/test/ptrptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/ptrptr.c -------------------------------------------------------------------------------- /irpy/test/rsh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/rsh.c -------------------------------------------------------------------------------- /irpy/test/sdiv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/sdiv.c -------------------------------------------------------------------------------- /irpy/test/sext.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/sext.c -------------------------------------------------------------------------------- /irpy/test/srem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/srem.c -------------------------------------------------------------------------------- /irpy/test/struct_.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/struct_.c -------------------------------------------------------------------------------- /irpy/test/struct_cond.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/struct_cond.c -------------------------------------------------------------------------------- /irpy/test/struct_t.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/struct_t.c -------------------------------------------------------------------------------- /irpy/test/switch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/switch.c -------------------------------------------------------------------------------- /irpy/test/switch_table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/switch_table.c -------------------------------------------------------------------------------- /irpy/test/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/test.py -------------------------------------------------------------------------------- /irpy/test/trunc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/trunc.c -------------------------------------------------------------------------------- /irpy/test/udiv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/udiv.c -------------------------------------------------------------------------------- /irpy/test/urem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/urem.c -------------------------------------------------------------------------------- /irpy/test/zero_div.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/zero_div.c -------------------------------------------------------------------------------- /irpy/test/zext.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/irpy/test/zext.c -------------------------------------------------------------------------------- /kernel/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/Makefrag -------------------------------------------------------------------------------- /kernel/amd_iommu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/amd_iommu.c -------------------------------------------------------------------------------- /kernel/amd_iommu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/amd_iommu.h -------------------------------------------------------------------------------- /kernel/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/config.h -------------------------------------------------------------------------------- /kernel/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/cpuid.c -------------------------------------------------------------------------------- /kernel/cpuid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/cpuid.h -------------------------------------------------------------------------------- /kernel/fpu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/fpu.c -------------------------------------------------------------------------------- /kernel/hvm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/hvm.c -------------------------------------------------------------------------------- /kernel/hvm_support.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/hvm_support.S -------------------------------------------------------------------------------- /kernel/include/acpi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/acpi.h -------------------------------------------------------------------------------- /kernel/include/bootmem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/bootmem.h -------------------------------------------------------------------------------- /kernel/include/ctype.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/ctype.h -------------------------------------------------------------------------------- /kernel/include/hvm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/hvm.h -------------------------------------------------------------------------------- /kernel/include/init.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/init.h -------------------------------------------------------------------------------- /kernel/include/iommu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/iommu.h -------------------------------------------------------------------------------- /kernel/include/machine/env.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/machine/env.h -------------------------------------------------------------------------------- /kernel/include/machine/memlayout.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/machine/memlayout.h -------------------------------------------------------------------------------- /kernel/include/multiboot.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/multiboot.h -------------------------------------------------------------------------------- /kernel/include/pagemap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/pagemap.h -------------------------------------------------------------------------------- /kernel/include/stdio.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/stdio.h -------------------------------------------------------------------------------- /kernel/include/stdlib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/stdlib.h -------------------------------------------------------------------------------- /kernel/include/string.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/string.h -------------------------------------------------------------------------------- /kernel/include/symtable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/symtable.h -------------------------------------------------------------------------------- /kernel/include/time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/include/time.h -------------------------------------------------------------------------------- /kernel/intel_iommu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/intel_iommu.c -------------------------------------------------------------------------------- /kernel/intel_iommu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/intel_iommu.h -------------------------------------------------------------------------------- /kernel/ioapic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/ioapic.c -------------------------------------------------------------------------------- /kernel/iommu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/iommu.c -------------------------------------------------------------------------------- /kernel/kernel.lds.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/kernel.lds.S -------------------------------------------------------------------------------- /kernel/locore.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/locore.S -------------------------------------------------------------------------------- /kernel/mtrr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/mtrr.c -------------------------------------------------------------------------------- /kernel/pic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/pic.c -------------------------------------------------------------------------------- /kernel/pmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/pmap.c -------------------------------------------------------------------------------- /kernel/svm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/svm.c -------------------------------------------------------------------------------- /kernel/svm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/svm.h -------------------------------------------------------------------------------- /kernel/svm_entry.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/svm_entry.S -------------------------------------------------------------------------------- /kernel/svm_genassym.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/svm_genassym.c -------------------------------------------------------------------------------- /kernel/tsc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/tsc.c -------------------------------------------------------------------------------- /kernel/vmx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/vmx.c -------------------------------------------------------------------------------- /kernel/vmx.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/vmx.h -------------------------------------------------------------------------------- /kernel/vmx_entry.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/vmx_entry.S -------------------------------------------------------------------------------- /kernel/xapic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/xapic.c -------------------------------------------------------------------------------- /kernel/xapic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/kernel/xapic.h -------------------------------------------------------------------------------- /lib/bootmem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/lib/bootmem.c -------------------------------------------------------------------------------- /lib/console.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/lib/console.c -------------------------------------------------------------------------------- /lib/panic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/lib/panic.c -------------------------------------------------------------------------------- /lib/stdio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/lib/stdio.c -------------------------------------------------------------------------------- /lib/stdlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/lib/stdlib.c -------------------------------------------------------------------------------- /lib/string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/lib/string.c -------------------------------------------------------------------------------- /lib/syslog.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/lib/syslog.c -------------------------------------------------------------------------------- /scripts/check-hv6-invariants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/scripts/check-hv6-invariants.py -------------------------------------------------------------------------------- /scripts/configure_bochs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/scripts/configure_bochs.sh -------------------------------------------------------------------------------- /scripts/configure_qemu.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/scripts/configure_qemu.sh -------------------------------------------------------------------------------- /scripts/genassym.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/scripts/genassym.sh -------------------------------------------------------------------------------- /scripts/gensymtable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/scripts/gensymtable.py -------------------------------------------------------------------------------- /scripts/isohybrid.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/scripts/isohybrid.pl -------------------------------------------------------------------------------- /scripts/ldcheck.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/scripts/ldcheck.py -------------------------------------------------------------------------------- /scripts/no_undef.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/scripts/no_undef.sh -------------------------------------------------------------------------------- /scripts/pytest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/scripts/pytest -------------------------------------------------------------------------------- /scripts/stackcheck.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/scripts/stackcheck.py -------------------------------------------------------------------------------- /scripts/stackcheck_config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/scripts/stackcheck_config.py -------------------------------------------------------------------------------- /user/lwip/FILES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/FILES -------------------------------------------------------------------------------- /user/lwip/Filelists.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/Filelists.mk -------------------------------------------------------------------------------- /user/lwip/api/api_lib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/api/api_lib.c -------------------------------------------------------------------------------- /user/lwip/api/api_msg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/api/api_msg.c -------------------------------------------------------------------------------- /user/lwip/api/err.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/api/err.c -------------------------------------------------------------------------------- /user/lwip/api/netbuf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/api/netbuf.c -------------------------------------------------------------------------------- /user/lwip/api/netdb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/api/netdb.c -------------------------------------------------------------------------------- /user/lwip/api/netifapi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/api/netifapi.c -------------------------------------------------------------------------------- /user/lwip/api/sockets.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/api/sockets.c -------------------------------------------------------------------------------- /user/lwip/api/tcpip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/api/tcpip.c -------------------------------------------------------------------------------- /user/lwip/apps/httpd/fs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/httpd/fs.c -------------------------------------------------------------------------------- /user/lwip/apps/httpd/fs/404.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/httpd/fs/404.html -------------------------------------------------------------------------------- /user/lwip/apps/httpd/fs/img/sics.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/httpd/fs/img/sics.gif -------------------------------------------------------------------------------- /user/lwip/apps/httpd/fs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/httpd/fs/index.html -------------------------------------------------------------------------------- /user/lwip/apps/httpd/fsdata.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/httpd/fsdata.c -------------------------------------------------------------------------------- /user/lwip/apps/httpd/fsdata.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/httpd/fsdata.h -------------------------------------------------------------------------------- /user/lwip/apps/httpd/httpd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/httpd/httpd.c -------------------------------------------------------------------------------- /user/lwip/apps/httpd/httpd_structs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/httpd/httpd_structs.h -------------------------------------------------------------------------------- /user/lwip/apps/httpd/makefsdata/makefsdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/httpd/makefsdata/makefsdata -------------------------------------------------------------------------------- /user/lwip/apps/httpd/makefsdata/makefsdata.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/httpd/makefsdata/makefsdata.c -------------------------------------------------------------------------------- /user/lwip/apps/httpd/makefsdata/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/httpd/makefsdata/readme.txt -------------------------------------------------------------------------------- /user/lwip/apps/lwiperf/lwiperf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/lwiperf/lwiperf.c -------------------------------------------------------------------------------- /user/lwip/apps/mdns/mdns.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/mdns/mdns.c -------------------------------------------------------------------------------- /user/lwip/apps/mqtt/mqtt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/mqtt/mqtt.c -------------------------------------------------------------------------------- /user/lwip/apps/netbiosns/netbiosns.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/netbiosns/netbiosns.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_asn1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_asn1.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_asn1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_asn1.h -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_core.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_core.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_core_priv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_core_priv.h -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_mib2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_mib2.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_mib2_icmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_mib2_icmp.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_mib2_interfaces.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_mib2_interfaces.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_mib2_ip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_mib2_ip.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_mib2_snmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_mib2_snmp.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_mib2_system.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_mib2_system.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_mib2_tcp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_mib2_tcp.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_mib2_udp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_mib2_udp.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_msg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_msg.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_msg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_msg.h -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_netconn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_netconn.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_pbuf_stream.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_pbuf_stream.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_pbuf_stream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_pbuf_stream.h -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_raw.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_raw.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_scalar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_scalar.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_table.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_threadsync.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_threadsync.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmp_traps.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmp_traps.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmpv3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmpv3.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmpv3_dummy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmpv3_dummy.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmpv3_mbedtls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmpv3_mbedtls.c -------------------------------------------------------------------------------- /user/lwip/apps/snmp/snmpv3_priv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/snmp/snmpv3_priv.h -------------------------------------------------------------------------------- /user/lwip/apps/sntp/sntp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/sntp/sntp.c -------------------------------------------------------------------------------- /user/lwip/apps/tftp/tftp_server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/apps/tftp/tftp_server.c -------------------------------------------------------------------------------- /user/lwip/core/def.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/def.c -------------------------------------------------------------------------------- /user/lwip/core/dns.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/dns.c -------------------------------------------------------------------------------- /user/lwip/core/inet_chksum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/inet_chksum.c -------------------------------------------------------------------------------- /user/lwip/core/init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/init.c -------------------------------------------------------------------------------- /user/lwip/core/ip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ip.c -------------------------------------------------------------------------------- /user/lwip/core/ipv4/autoip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv4/autoip.c -------------------------------------------------------------------------------- /user/lwip/core/ipv4/dhcp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv4/dhcp.c -------------------------------------------------------------------------------- /user/lwip/core/ipv4/etharp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv4/etharp.c -------------------------------------------------------------------------------- /user/lwip/core/ipv4/icmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv4/icmp.c -------------------------------------------------------------------------------- /user/lwip/core/ipv4/igmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv4/igmp.c -------------------------------------------------------------------------------- /user/lwip/core/ipv4/ip4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv4/ip4.c -------------------------------------------------------------------------------- /user/lwip/core/ipv4/ip4_addr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv4/ip4_addr.c -------------------------------------------------------------------------------- /user/lwip/core/ipv4/ip4_frag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv4/ip4_frag.c -------------------------------------------------------------------------------- /user/lwip/core/ipv6/dhcp6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv6/dhcp6.c -------------------------------------------------------------------------------- /user/lwip/core/ipv6/ethip6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv6/ethip6.c -------------------------------------------------------------------------------- /user/lwip/core/ipv6/icmp6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv6/icmp6.c -------------------------------------------------------------------------------- /user/lwip/core/ipv6/inet6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv6/inet6.c -------------------------------------------------------------------------------- /user/lwip/core/ipv6/ip6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv6/ip6.c -------------------------------------------------------------------------------- /user/lwip/core/ipv6/ip6_addr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv6/ip6_addr.c -------------------------------------------------------------------------------- /user/lwip/core/ipv6/ip6_frag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv6/ip6_frag.c -------------------------------------------------------------------------------- /user/lwip/core/ipv6/mld6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv6/mld6.c -------------------------------------------------------------------------------- /user/lwip/core/ipv6/nd6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/ipv6/nd6.c -------------------------------------------------------------------------------- /user/lwip/core/mem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/mem.c -------------------------------------------------------------------------------- /user/lwip/core/memp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/memp.c -------------------------------------------------------------------------------- /user/lwip/core/netif.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/netif.c -------------------------------------------------------------------------------- /user/lwip/core/pbuf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/pbuf.c -------------------------------------------------------------------------------- /user/lwip/core/raw.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/raw.c -------------------------------------------------------------------------------- /user/lwip/core/stats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/stats.c -------------------------------------------------------------------------------- /user/lwip/core/sys.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/sys.c -------------------------------------------------------------------------------- /user/lwip/core/tcp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/tcp.c -------------------------------------------------------------------------------- /user/lwip/core/tcp_in.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/tcp_in.c -------------------------------------------------------------------------------- /user/lwip/core/tcp_out.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/tcp_out.c -------------------------------------------------------------------------------- /user/lwip/core/timeouts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/timeouts.c -------------------------------------------------------------------------------- /user/lwip/core/udp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/core/udp.c -------------------------------------------------------------------------------- /user/lwip/include/lwip/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/api.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/FILES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/FILES -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/fs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/fs.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/httpd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/httpd.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/httpd_opts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/httpd_opts.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/lwiperf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/lwiperf.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/mdns.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/mdns.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/mdns_opts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/mdns_opts.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/mdns_priv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/mdns_priv.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/mqtt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/mqtt.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/mqtt_opts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/mqtt_opts.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/netbiosns.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/netbiosns.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/netbiosns_opts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/netbiosns_opts.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/snmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/snmp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/snmp_core.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/snmp_core.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/snmp_mib2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/snmp_mib2.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/snmp_opts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/snmp_opts.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/snmp_scalar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/snmp_scalar.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/snmp_table.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/snmp_table.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/snmp_threadsync.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/snmp_threadsync.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/snmpv3.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/snmpv3.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/sntp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/sntp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/sntp_opts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/sntp_opts.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/tftp_opts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/tftp_opts.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/apps/tftp_server.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/apps/tftp_server.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/arch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/arch.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/autoip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/autoip.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/debug.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/def.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/def.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/dhcp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/dhcp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/dhcp6.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/dhcp6.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/dns.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/dns.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/err.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/err.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/errno.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/errno.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/etharp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/etharp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/ethip6.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/ethip6.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/icmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/icmp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/icmp6.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/icmp6.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/igmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/igmp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/inet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/inet.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/inet_chksum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/inet_chksum.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/init.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/init.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/ip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/ip.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/ip4.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/ip4.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/ip4_addr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/ip4_addr.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/ip4_frag.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/ip4_frag.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/ip6.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/ip6.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/ip6_addr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/ip6_addr.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/ip6_frag.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/ip6_frag.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/ip_addr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/ip_addr.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/mem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/mem.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/memp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/memp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/mld6.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/mld6.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/nd6.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/nd6.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/netbuf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/netbuf.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/netdb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/netdb.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/netif.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/netif.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/netifapi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/netifapi.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/opt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/opt.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/pbuf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/pbuf.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/priv/api_msg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/priv/api_msg.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/priv/memp_priv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/priv/memp_priv.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/priv/memp_std.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/priv/memp_std.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/priv/nd6_priv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/priv/nd6_priv.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/priv/tcp_priv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/priv/tcp_priv.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/priv/tcpip_priv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/priv/tcpip_priv.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/autoip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/autoip.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/dhcp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/dhcp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/dns.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/dns.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/etharp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/etharp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/ethernet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/ethernet.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/icmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/icmp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/icmp6.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/icmp6.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/igmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/igmp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/ip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/ip.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/ip4.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/ip4.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/ip6.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/ip6.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/mld6.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/mld6.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/nd6.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/nd6.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/tcp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/tcp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/prot/udp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/prot/udp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/raw.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/raw.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/sio.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/sio.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/snmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/snmp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/sockets.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/sockets.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/stats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/stats.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/sys.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/sys.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/tcp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/tcp.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/tcpip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/tcpip.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/timeouts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/timeouts.h -------------------------------------------------------------------------------- /user/lwip/include/lwip/udp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/lwip/udp.h -------------------------------------------------------------------------------- /user/lwip/include/netif/etharp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/etharp.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ethernet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ethernet.h -------------------------------------------------------------------------------- /user/lwip/include/netif/lowpan6.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/lowpan6.h -------------------------------------------------------------------------------- /user/lwip/include/netif/lowpan6_opts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/lowpan6_opts.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/ccp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/ccp.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/chap-md5.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/chap-md5.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/chap-new.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/chap-new.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/chap_ms.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/chap_ms.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/eap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/eap.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/ecp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/ecp.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/eui64.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/eui64.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/fsm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/fsm.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/ipcp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/ipcp.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/ipv6cp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/ipv6cp.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/lcp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/lcp.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/magic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/magic.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/mppe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/mppe.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/polarssl/arc4.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/polarssl/arc4.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/polarssl/des.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/polarssl/des.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/polarssl/md4.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/polarssl/md4.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/polarssl/md5.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/polarssl/md5.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/polarssl/sha1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/polarssl/sha1.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/ppp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/ppp.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/ppp_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/ppp_impl.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/ppp_opts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/ppp_opts.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/pppapi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/pppapi.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/pppcrypt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/pppcrypt.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/pppdebug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/pppdebug.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/pppoe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/pppoe.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/pppol2tp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/pppol2tp.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/pppos.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/pppos.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/upap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/upap.h -------------------------------------------------------------------------------- /user/lwip/include/netif/ppp/vj.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/ppp/vj.h -------------------------------------------------------------------------------- /user/lwip/include/netif/slipif.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/netif/slipif.h -------------------------------------------------------------------------------- /user/lwip/include/posix/errno.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/posix/errno.h -------------------------------------------------------------------------------- /user/lwip/include/posix/netdb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/posix/netdb.h -------------------------------------------------------------------------------- /user/lwip/include/posix/sys/socket.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/include/posix/sys/socket.h -------------------------------------------------------------------------------- /user/lwip/netif/FILES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/FILES -------------------------------------------------------------------------------- /user/lwip/netif/ethernet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ethernet.c -------------------------------------------------------------------------------- /user/lwip/netif/ethernetif.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ethernetif.c -------------------------------------------------------------------------------- /user/lwip/netif/lowpan6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/lowpan6.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/PPPD_FOLLOWUP: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/PPPD_FOLLOWUP -------------------------------------------------------------------------------- /user/lwip/netif/ppp/auth.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/auth.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/ccp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/ccp.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/chap-md5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/chap-md5.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/chap-new.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/chap-new.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/chap_ms.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/chap_ms.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/demand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/demand.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/eap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/eap.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/ecp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/ecp.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/eui64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/eui64.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/fsm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/fsm.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/ipcp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/ipcp.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/ipv6cp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/ipv6cp.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/lcp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/lcp.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/magic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/magic.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/mppe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/mppe.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/multilink.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/multilink.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/polarssl/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/polarssl/README -------------------------------------------------------------------------------- /user/lwip/netif/ppp/polarssl/arc4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/polarssl/arc4.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/polarssl/des.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/polarssl/des.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/polarssl/md4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/polarssl/md4.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/polarssl/md5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/polarssl/md5.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/polarssl/sha1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/polarssl/sha1.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/ppp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/ppp.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/pppapi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/pppapi.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/pppcrypt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/pppcrypt.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/pppoe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/pppoe.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/pppol2tp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/pppol2tp.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/pppos.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/pppos.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/upap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/upap.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/utils.c -------------------------------------------------------------------------------- /user/lwip/netif/ppp/vj.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/ppp/vj.c -------------------------------------------------------------------------------- /user/lwip/netif/slipif.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/lwip/netif/slipif.c -------------------------------------------------------------------------------- /user/trap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/trap.c -------------------------------------------------------------------------------- /user/trap_entry.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/user/trap_entry.S -------------------------------------------------------------------------------- /web/d3.v4.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/web/d3.v4.min.js -------------------------------------------------------------------------------- /web/jquery.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/web/jquery.min.js -------------------------------------------------------------------------------- /web/memmap.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/web/memmap.html -------------------------------------------------------------------------------- /web/pstree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/web/pstree.html -------------------------------------------------------------------------------- /web/sh.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/hyperkernel/HEAD/web/sh.html --------------------------------------------------------------------------------