├── .github ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md └── workflows │ ├── pr.yml │ └── push.yml ├── .gitignore ├── .reuse └── dep5 ├── LICENSE.md ├── LICENSES ├── BSD-2-Clause.txt ├── CC-BY-SA-4.0.txt ├── GPL-2.0-or-later.txt ├── ISC.txt ├── MIT.txt └── NGPL.txt ├── README.md ├── design ├── Makefile ├── appendix.tex ├── disy.sty ├── extra.bib ├── implementation.tex ├── interface.tex ├── intro.tex ├── msctexen.sty ├── paper.tex ├── protocol.tex └── refos.png └── impl ├── Kbuild ├── Kconfig ├── Makefile ├── apps ├── Kbuild ├── Kconfig ├── console_server │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_BSD2.txt │ ├── Makefile │ ├── linker.lds │ └── src │ │ ├── badge.h │ │ ├── console_server.c │ │ ├── device_input.c │ │ ├── device_input.h │ │ ├── device_screen.c │ │ ├── device_screen.h │ │ ├── dispatchers │ │ ├── client_watch.c │ │ ├── client_watch.h │ │ ├── dispatch.c │ │ ├── dispatch.h │ │ ├── dspace │ │ │ ├── dspace.c │ │ │ ├── dspace.h │ │ │ ├── screen_dspace.c │ │ │ ├── screen_dspace.h │ │ │ ├── stdio_dspace.c │ │ │ └── stdio_dspace.h │ │ ├── serv_dispatch.c │ │ └── serv_dispatch.h │ │ ├── ega_vterm.c │ │ ├── ega_vterm.h │ │ ├── state.c │ │ └── state.h ├── file_server │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_BSD2.txt │ ├── Makefile │ ├── files │ │ ├── hello.txt │ │ ├── hh │ │ ├── license │ │ ├── logfile │ │ ├── nethackrc │ │ ├── news │ │ └── nhdat │ ├── linker.lds │ └── src │ │ ├── badge.h │ │ ├── dataspace.c │ │ ├── dataspace.h │ │ ├── dispatchers │ │ ├── cpio_dspace.c │ │ ├── cpio_dspace.h │ │ ├── dispatch.c │ │ ├── dispatch.h │ │ ├── fault_notify.c │ │ ├── fault_notify.h │ │ ├── serv_dispatch.c │ │ └── serv_dispatch.h │ │ ├── file_server.c │ │ ├── pager.c │ │ ├── pager.h │ │ ├── state.c │ │ └── state.h ├── nethack │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_GPL.txt │ ├── Makefile │ ├── linker.lds │ └── src │ │ ├── nethack-3.4.3 │ │ ├── Files │ │ ├── Makefile │ │ ├── Porting │ │ ├── README │ │ ├── dat │ │ │ ├── Arch.des │ │ │ ├── Barb.des │ │ │ ├── Caveman.des │ │ │ ├── Healer.des │ │ │ ├── Knight.des │ │ │ ├── Makefile │ │ │ ├── Monk.des │ │ │ ├── Priest.des │ │ │ ├── Ranger.des │ │ │ ├── Rogue.des │ │ │ ├── Samurai.des │ │ │ ├── Tourist.des │ │ │ ├── Valkyrie.des │ │ │ ├── Wizard.des │ │ │ ├── bigroom.des │ │ │ ├── castle.des │ │ │ ├── cmdhelp │ │ │ ├── data.base │ │ │ ├── dungeon.def │ │ │ ├── endgame.des │ │ │ ├── gehennom.des │ │ │ ├── help │ │ │ ├── hh │ │ │ ├── history │ │ │ ├── knox.des │ │ │ ├── license │ │ │ ├── medusa.des │ │ │ ├── mines.des │ │ │ ├── opthelp │ │ │ ├── options │ │ │ ├── oracle.des │ │ │ ├── oracles.txt │ │ │ ├── quest.txt │ │ │ ├── rumors.fal │ │ │ ├── rumors.tru │ │ │ ├── sokoban.des │ │ │ ├── tower.des │ │ │ ├── wizhelp │ │ │ └── yendor.des │ │ ├── doc │ │ │ ├── Guidebook.mn │ │ │ ├── Guidebook.tex │ │ │ ├── Guidebook.txt │ │ │ ├── Makefile │ │ │ ├── dgn_comp.6 │ │ │ ├── dgn_comp.txt │ │ │ ├── dlb.6 │ │ │ ├── dlb.txt │ │ │ ├── fixes22.0 │ │ │ ├── fixes30.0 │ │ │ ├── fixes31.1 │ │ │ ├── fixes31.2 │ │ │ ├── fixes31.3 │ │ │ ├── fixes32.0 │ │ │ ├── fixes32.1 │ │ │ ├── fixes32.2 │ │ │ ├── fixes32.3 │ │ │ ├── fixes33.0 │ │ │ ├── fixes33.1 │ │ │ ├── fixes34.0 │ │ │ ├── fixes34.1 │ │ │ ├── fixes34.2 │ │ │ ├── fixes34.3 │ │ │ ├── lev_comp.6 │ │ │ ├── lev_comp.txt │ │ │ ├── nethack.6 │ │ │ ├── nethack.txt │ │ │ ├── recover.6 │ │ │ ├── recover.txt │ │ │ ├── tmac.n │ │ │ └── window.doc │ │ ├── include │ │ │ ├── align.h │ │ │ ├── amiconf.h │ │ │ ├── artifact.h │ │ │ ├── artilist.h │ │ │ ├── attrib.h │ │ │ ├── beconf.h │ │ │ ├── bitmfile.h │ │ │ ├── color.h │ │ │ ├── config.h │ │ │ ├── config1.h │ │ │ ├── coord.h │ │ │ ├── date.h │ │ │ ├── decl.h │ │ │ ├── def_os2.h │ │ │ ├── dgn_file.h │ │ │ ├── display.h │ │ │ ├── dlb.h │ │ │ ├── dungeon.h │ │ │ ├── edog.h │ │ │ ├── emin.h │ │ │ ├── engrave.h │ │ │ ├── epri.h │ │ │ ├── eshk.h │ │ │ ├── extern.h │ │ │ ├── flag.h │ │ │ ├── func_tab.h │ │ │ ├── gem_rsc.h │ │ │ ├── global.h │ │ │ ├── hack.h │ │ │ ├── lev.h │ │ │ ├── load_img.h │ │ │ ├── mac-carbon.h │ │ │ ├── mac-qt.h │ │ │ ├── mac-term.h │ │ │ ├── macconf.h │ │ │ ├── macpopup.h │ │ │ ├── mactty.h │ │ │ ├── macwin.h │ │ │ ├── mail.h │ │ │ ├── mfndpos.h │ │ │ ├── micro.h │ │ │ ├── mkroom.h │ │ │ ├── monattk.h │ │ │ ├── mondata.h │ │ │ ├── monflag.h │ │ │ ├── monst.h │ │ │ ├── monsym.h │ │ │ ├── mttypriv.h │ │ │ ├── nhlan.h │ │ │ ├── ntconf.h │ │ │ ├── obj.h │ │ │ ├── objclass.h │ │ │ ├── onames.h │ │ │ ├── os2conf.h │ │ │ ├── patchlevel.h │ │ │ ├── pcconf.h │ │ │ ├── permonst.h │ │ │ ├── pm.h │ │ │ ├── prop.h │ │ │ ├── qt_clust.h │ │ │ ├── qt_kde0.h │ │ │ ├── qt_win.h │ │ │ ├── qt_xpms.h │ │ │ ├── qtext.h │ │ │ ├── qttableview.h │ │ │ ├── quest.h │ │ │ ├── rect.h │ │ │ ├── region.h │ │ │ ├── rm.h │ │ │ ├── skills.h │ │ │ ├── sp_lev.h │ │ │ ├── spell.h │ │ │ ├── system.h │ │ │ ├── tcap.h │ │ │ ├── tile2x11.h │ │ │ ├── timeout.h │ │ │ ├── tosconf.h │ │ │ ├── tradstdc.h │ │ │ ├── trampoli.h │ │ │ ├── trap.h │ │ │ ├── unixconf.h │ │ │ ├── vault.h │ │ │ ├── vis_tab.h │ │ │ ├── vision.h │ │ │ ├── vmsconf.h │ │ │ ├── wceconf.h │ │ │ ├── winGnome.h │ │ │ ├── winX.h │ │ │ ├── winami.h │ │ │ ├── wingem.h │ │ │ ├── winprocs.h │ │ │ ├── wintty.h │ │ │ ├── wintype.h │ │ │ ├── xwindow.h │ │ │ ├── xwindowp.h │ │ │ ├── you.h │ │ │ └── youprop.h │ │ ├── src │ │ │ ├── Makefile │ │ │ ├── allmain.c │ │ │ ├── alloc.c │ │ │ ├── apply.c │ │ │ ├── artifact.c │ │ │ ├── attrib.c │ │ │ ├── ball.c │ │ │ ├── bones.c │ │ │ ├── botl.c │ │ │ ├── cmd.c │ │ │ ├── dbridge.c │ │ │ ├── decl.c │ │ │ ├── detect.c │ │ │ ├── dig.c │ │ │ ├── display.c │ │ │ ├── dlb.c │ │ │ ├── do.c │ │ │ ├── do_name.c │ │ │ ├── do_wear.c │ │ │ ├── dog.c │ │ │ ├── dogmove.c │ │ │ ├── dokick.c │ │ │ ├── dothrow.c │ │ │ ├── drawing.c │ │ │ ├── dungeon.c │ │ │ ├── eat.c │ │ │ ├── end.c │ │ │ ├── engrave.c │ │ │ ├── exper.c │ │ │ ├── explode.c │ │ │ ├── extralev.c │ │ │ ├── files.c │ │ │ ├── fountain.c │ │ │ ├── hack.c │ │ │ ├── hacklib.c │ │ │ ├── invent.c │ │ │ ├── light.c │ │ │ ├── lock.c │ │ │ ├── mail.c │ │ │ ├── makemon.c │ │ │ ├── mapglyph.c │ │ │ ├── mcastu.c │ │ │ ├── mhitm.c │ │ │ ├── mhitu.c │ │ │ ├── minion.c │ │ │ ├── mklev.c │ │ │ ├── mkmap.c │ │ │ ├── mkmaze.c │ │ │ ├── mkobj.c │ │ │ ├── mkroom.c │ │ │ ├── mon.c │ │ │ ├── mondata.c │ │ │ ├── monmove.c │ │ │ ├── monst.c │ │ │ ├── monstr.c │ │ │ ├── mplayer.c │ │ │ ├── mthrowu.c │ │ │ ├── muse.c │ │ │ ├── music.c │ │ │ ├── o_init.c │ │ │ ├── objects.c │ │ │ ├── objnam.c │ │ │ ├── options.c │ │ │ ├── pager.c │ │ │ ├── pickup.c │ │ │ ├── pline.c │ │ │ ├── polyself.c │ │ │ ├── potion.c │ │ │ ├── pray.c │ │ │ ├── priest.c │ │ │ ├── quest.c │ │ │ ├── questpgr.c │ │ │ ├── read.c │ │ │ ├── rect.c │ │ │ ├── region.c │ │ │ ├── restore.c │ │ │ ├── rip.c │ │ │ ├── rnd.c │ │ │ ├── role.c │ │ │ ├── rumors.c │ │ │ ├── save.c │ │ │ ├── shk.c │ │ │ ├── shknam.c │ │ │ ├── sit.c │ │ │ ├── sounds.c │ │ │ ├── sp_lev.c │ │ │ ├── spell.c │ │ │ ├── steal.c │ │ │ ├── steed.c │ │ │ ├── teleport.c │ │ │ ├── timeout.c │ │ │ ├── topten.c │ │ │ ├── track.c │ │ │ ├── trap.c │ │ │ ├── u_init.c │ │ │ ├── uhitm.c │ │ │ ├── vault.c │ │ │ ├── version.c │ │ │ ├── vis_tab.c │ │ │ ├── vision.c │ │ │ ├── weapon.c │ │ │ ├── were.c │ │ │ ├── wield.c │ │ │ ├── windows.c │ │ │ ├── wizard.c │ │ │ ├── worm.c │ │ │ ├── worn.c │ │ │ ├── write.c │ │ │ └── zap.c │ │ ├── sys │ │ │ ├── share │ │ │ │ ├── Makefile.lib │ │ │ │ ├── NetHack.cnf │ │ │ │ ├── dgn_comp.h │ │ │ │ ├── dgn_lex.c │ │ │ │ ├── dgn_yacc.c │ │ │ │ ├── ioctl.c │ │ │ │ ├── lev_comp.h │ │ │ │ ├── lev_lex.c │ │ │ │ ├── lev_yacc.c │ │ │ │ ├── nhlan.c │ │ │ │ ├── pcmain.c │ │ │ │ ├── pcsys.c │ │ │ │ ├── pctty.c │ │ │ │ ├── pcunix.c │ │ │ │ ├── random.c │ │ │ │ ├── sounds │ │ │ │ │ ├── README │ │ │ │ │ ├── bell.uu │ │ │ │ │ ├── bugle.uu │ │ │ │ │ ├── erthdrum.uu │ │ │ │ │ ├── firehorn.uu │ │ │ │ │ ├── frsthorn.uu │ │ │ │ │ ├── lethdrum.uu │ │ │ │ │ ├── mgcflute.uu │ │ │ │ │ ├── mgcharp.uu │ │ │ │ │ ├── toolhorn.uu │ │ │ │ │ ├── wdnflute.uu │ │ │ │ │ └── wdnharp.uu │ │ │ │ ├── tclib.c │ │ │ │ ├── termcap │ │ │ │ ├── termcap.uu │ │ │ │ ├── unixtty.c │ │ │ │ └── uudecode.c │ │ │ └── unix │ │ │ │ ├── Install.unx │ │ │ │ ├── Makefile.dat │ │ │ │ ├── Makefile.doc │ │ │ │ ├── Makefile.src │ │ │ │ ├── Makefile.top │ │ │ │ ├── Makefile.utl │ │ │ │ ├── README.linux │ │ │ │ ├── cpp1.shr │ │ │ │ ├── cpp2.shr │ │ │ │ ├── cpp3.shr │ │ │ │ ├── depend.awk │ │ │ │ ├── nethack.sh │ │ │ │ ├── setup.sh │ │ │ │ ├── snd86unx.shr │ │ │ │ ├── unixmain.c │ │ │ │ ├── unixres.c │ │ │ │ └── unixunix.c │ │ └── win │ │ │ ├── share │ │ │ ├── monsters.txt │ │ │ ├── objects.txt │ │ │ ├── other.txt │ │ │ ├── tile.doc │ │ │ └── tile.h │ │ │ └── tty │ │ │ ├── getline.c │ │ │ ├── termcap.c │ │ │ ├── topl.c │ │ │ └── wintty.c │ │ └── refos_nethack.c ├── process_server │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_BSD2.txt │ ├── Makefile │ └── src │ │ ├── badge.h │ │ ├── common.h │ │ ├── dispatchers │ │ ├── data_syscall.c │ │ ├── data_syscall.h │ │ ├── dispatcher.c │ │ ├── dispatcher.h │ │ ├── fault_handler.c │ │ ├── fault_handler.h │ │ ├── mem_syscall.c │ │ ├── mem_syscall.h │ │ ├── name_syscall.c │ │ ├── name_syscall.h │ │ ├── proc_syscall.c │ │ └── proc_syscall.h │ │ ├── main.c │ │ ├── state.c │ │ ├── state.h │ │ ├── system │ │ ├── addrspace │ │ │ ├── pagedir.c │ │ │ ├── pagedir.h │ │ │ ├── vspace.c │ │ │ └── vspace.h │ │ ├── memserv │ │ │ ├── dataspace.c │ │ │ ├── dataspace.h │ │ │ ├── ringbuffer.c │ │ │ ├── ringbuffer.h │ │ │ ├── window.c │ │ │ └── window.h │ │ └── process │ │ │ ├── pid.c │ │ │ ├── pid.h │ │ │ ├── proc_client_watch.c │ │ │ ├── proc_client_watch.h │ │ │ ├── process.c │ │ │ ├── process.h │ │ │ ├── thread.c │ │ │ └── thread.h │ │ └── test │ │ ├── test.c │ │ ├── test.h │ │ ├── test_addrspace.c │ │ ├── test_addrspace.h │ │ ├── test_memserv.c │ │ ├── test_memserv.h │ │ ├── test_process.c │ │ └── test_process.h ├── selfloader │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_BSD2.txt │ ├── Makefile │ ├── linker.lds │ └── src │ │ ├── selfloader.c │ │ └── selfloader.h ├── snake │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_BSD2.txt │ ├── Makefile │ ├── linker.lds │ └── src │ │ └── snake.c ├── terminal │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_BSD2.txt │ ├── Makefile │ ├── linker.lds │ └── src │ │ ├── print_time.c │ │ ├── print_time.h │ │ └── terminal.c ├── test_os │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_BSD2.txt │ ├── Makefile │ ├── linker.lds │ └── src │ │ ├── test_anon_ram.c │ │ ├── test_anon_ram.h │ │ ├── test_fileserv.c │ │ ├── test_fileserv.h │ │ └── test_os.c ├── test_user │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_BSD2.txt │ ├── Makefile │ ├── linker.lds │ └── src │ │ └── test_user.c ├── tetris │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE.txt │ ├── LICENSE_BSD2.txt │ ├── Makefile │ ├── linker.lds │ └── src │ │ ├── io.h │ │ └── tetris.c └── timer_server │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_BSD2.txt │ ├── Makefile │ ├── linker.lds │ └── src │ ├── badge.h │ ├── device_timer.c │ ├── device_timer.h │ ├── dispatchers │ ├── client_watch.c │ ├── client_watch.h │ ├── dispatch.c │ ├── dispatch.h │ ├── dspace │ │ ├── dspace.c │ │ ├── dspace.h │ │ ├── timer_dspace.c │ │ └── timer_dspace.h │ ├── serv_dispatch.c │ └── serv_dispatch.h │ ├── state.c │ ├── state.h │ └── timer_server.c ├── cidl.xsd ├── cidl_compile ├── cidl_templates ├── client.py ├── client_header.py ├── dispatcher.py ├── dispatcher_container.py ├── enum.py ├── root.py ├── server.py └── server_header.py ├── configs ├── ia32_debug_defconfig ├── ia32_debug_test_defconfig ├── ia32_release_defconfig ├── ia32_release_test_defconfig ├── ia32_screen_debug_defconfig ├── ia32_screen_release_defconfig ├── imx6_debug_defconfig ├── imx6_debug_test_defconfig ├── imx6_release_defconfig ├── imx6_release_test_defconfig ├── kzm_debug_defconfig ├── kzm_debug_test_defconfig ├── kzm_release_defconfig ├── kzm_release_nethack_defconfig └── kzm_release_test_defconfig ├── docs ├── Doxyfile ├── Doxyfile.bak ├── Makefile ├── doxygen │ ├── component_design.png │ ├── conserv.png │ ├── dataspace_example.png │ ├── dispatcher.png │ ├── elfload.png │ ├── fault.png │ ├── fileserv.png │ ├── header-logo.png │ ├── memwindow.png │ ├── procserv.png │ ├── refos.png │ ├── startup.png │ ├── style.css │ ├── testing_levels.png │ ├── timeserv.png │ └── vmlayout.png └── extra_pages │ ├── components.h │ ├── design.h │ ├── mainpage.h │ └── testing.h ├── libs ├── Kbuild ├── Kconfig ├── libdatastruct │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_BSD2.txt │ ├── Makefile │ ├── include │ │ └── data_struct │ │ │ ├── cbpool.h │ │ │ ├── chash.h │ │ │ ├── cmacros.h │ │ │ ├── coat.h │ │ │ ├── cpool.h │ │ │ ├── cqueue.h │ │ │ ├── csstring.h │ │ │ └── cvector.h │ └── src │ │ ├── cbpool.c │ │ ├── chash.c │ │ ├── coat.c │ │ ├── cpool.c │ │ ├── cqueue.c │ │ └── cvector.c ├── librefos │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_BSD2.txt │ ├── Makefile │ ├── include │ │ ├── refos-rpc │ │ │ ├── data_client_helper.h │ │ │ ├── name_client_helper.h │ │ │ ├── proc_client_helper.h │ │ │ ├── proc_common.h │ │ │ ├── rpc.h │ │ │ └── serv_client_helper.h │ │ ├── refos-util │ │ │ ├── cspace.h │ │ │ ├── device_io.h │ │ │ ├── device_irq.h │ │ │ ├── dprintf.h │ │ │ ├── init.h │ │ │ ├── nameserv.h │ │ │ ├── serv_common.h │ │ │ ├── serv_connect.h │ │ │ └── walloc.h │ │ └── refos │ │ │ ├── error.h │ │ │ ├── refos.h │ │ │ ├── share.h │ │ │ ├── sync.h │ │ │ ├── test.h │ │ │ └── vmlayout.h │ ├── interface │ │ ├── data_interface.xml │ │ ├── name_interface.xml │ │ ├── proc_interface.xml │ │ └── serv_interface.xml │ └── src │ │ ├── error.c │ │ ├── refos-rpc │ │ ├── name_client_helper.c │ │ ├── rpc.c │ │ ├── rpc_refos.c │ │ └── serv_client_helper.c │ │ ├── refos-util │ │ ├── cspace.c │ │ ├── device_io.c │ │ ├── device_irq.c │ │ ├── init.c │ │ ├── nameserv.c │ │ ├── serv_common.c │ │ ├── serv_connect.c │ │ ├── stdio_copy.h │ │ └── walloc.c │ │ ├── share.c │ │ ├── sync.c │ │ └── test.c ├── librefossys │ ├── Kbuild │ ├── Kconfig │ ├── LICENSE_BSD2.txt │ ├── Makefile │ ├── include │ │ └── refos-io │ │ │ ├── filetable.h │ │ │ ├── internal_state.h │ │ │ ├── ipc_state.h │ │ │ ├── mmap_segment.h │ │ │ ├── morecore.h │ │ │ ├── stdio.h │ │ │ └── timer.h │ └── src │ │ ├── refos-io │ │ ├── filetable.c │ │ ├── mmap_segment.c │ │ ├── morecore.c │ │ └── stdio.c │ │ ├── sys_abort.c │ │ ├── sys_exit.c │ │ ├── sys_ignored.c │ │ ├── sys_io.c │ │ ├── sys_morecore.c │ │ ├── sys_stubs.c │ │ ├── sys_thread.c │ │ ├── sys_timer.c │ │ ├── sys_yield.c │ │ ├── syscalls.h │ │ └── vsyscall.c └── libvterm │ ├── Kbuild │ ├── Kconfig │ ├── Makefile │ ├── include │ └── vterm │ │ ├── vterm.h │ │ └── vterm_input.h │ └── src │ ├── LICENSE │ ├── encoding.c │ ├── encoding │ ├── DECdrawing.inc │ ├── DECdrawing.tbl │ ├── uk.inc │ └── uk.tbl │ ├── input.c │ ├── parser.c │ ├── pen.c │ ├── rect.h │ ├── screen.c │ ├── state.c │ ├── unicode.c │ ├── utf8.h │ ├── vterm.c │ └── vterm_internal.h └── refos_cidl_compile /.github/CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/.github/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /.github/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/.github/CONTRIBUTING.md -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.github/workflows/push.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/.github/workflows/push.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/.gitignore -------------------------------------------------------------------------------- /.reuse/dep5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/.reuse/dep5 -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/LICENSE.md -------------------------------------------------------------------------------- /LICENSES/BSD-2-Clause.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/LICENSES/BSD-2-Clause.txt -------------------------------------------------------------------------------- /LICENSES/CC-BY-SA-4.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/LICENSES/CC-BY-SA-4.0.txt -------------------------------------------------------------------------------- /LICENSES/GPL-2.0-or-later.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/LICENSES/GPL-2.0-or-later.txt -------------------------------------------------------------------------------- /LICENSES/ISC.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/LICENSES/ISC.txt -------------------------------------------------------------------------------- /LICENSES/MIT.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/LICENSES/MIT.txt -------------------------------------------------------------------------------- /LICENSES/NGPL.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/LICENSES/NGPL.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/README.md -------------------------------------------------------------------------------- /design/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/design/Makefile -------------------------------------------------------------------------------- /design/appendix.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/design/appendix.tex -------------------------------------------------------------------------------- /design/disy.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/design/disy.sty -------------------------------------------------------------------------------- /design/extra.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/design/extra.bib -------------------------------------------------------------------------------- /design/implementation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/design/implementation.tex -------------------------------------------------------------------------------- /design/interface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/design/interface.tex -------------------------------------------------------------------------------- /design/intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/design/intro.tex -------------------------------------------------------------------------------- /design/msctexen.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/design/msctexen.sty -------------------------------------------------------------------------------- /design/paper.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/design/paper.tex -------------------------------------------------------------------------------- /design/protocol.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/design/protocol.tex -------------------------------------------------------------------------------- /design/refos.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/design/refos.png -------------------------------------------------------------------------------- /impl/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/Kbuild -------------------------------------------------------------------------------- /impl/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/Kconfig -------------------------------------------------------------------------------- /impl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/Makefile -------------------------------------------------------------------------------- /impl/apps/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/Kbuild -------------------------------------------------------------------------------- /impl/apps/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/Kconfig -------------------------------------------------------------------------------- /impl/apps/console_server/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/Kbuild -------------------------------------------------------------------------------- /impl/apps/console_server/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/Kconfig -------------------------------------------------------------------------------- /impl/apps/console_server/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/apps/console_server/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/Makefile -------------------------------------------------------------------------------- /impl/apps/console_server/linker.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/linker.lds -------------------------------------------------------------------------------- /impl/apps/console_server/src/badge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/badge.h -------------------------------------------------------------------------------- /impl/apps/console_server/src/console_server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/console_server.c -------------------------------------------------------------------------------- /impl/apps/console_server/src/device_input.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/device_input.c -------------------------------------------------------------------------------- /impl/apps/console_server/src/device_input.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/device_input.h -------------------------------------------------------------------------------- /impl/apps/console_server/src/device_screen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/device_screen.c -------------------------------------------------------------------------------- /impl/apps/console_server/src/device_screen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/device_screen.h -------------------------------------------------------------------------------- /impl/apps/console_server/src/dispatchers/client_watch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/dispatchers/client_watch.c -------------------------------------------------------------------------------- /impl/apps/console_server/src/dispatchers/client_watch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/dispatchers/client_watch.h -------------------------------------------------------------------------------- /impl/apps/console_server/src/dispatchers/dispatch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/dispatchers/dispatch.c -------------------------------------------------------------------------------- /impl/apps/console_server/src/dispatchers/dispatch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/dispatchers/dispatch.h -------------------------------------------------------------------------------- /impl/apps/console_server/src/dispatchers/dspace/dspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/dispatchers/dspace/dspace.c -------------------------------------------------------------------------------- /impl/apps/console_server/src/dispatchers/dspace/dspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/dispatchers/dspace/dspace.h -------------------------------------------------------------------------------- /impl/apps/console_server/src/dispatchers/dspace/screen_dspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/dispatchers/dspace/screen_dspace.c -------------------------------------------------------------------------------- /impl/apps/console_server/src/dispatchers/dspace/screen_dspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/dispatchers/dspace/screen_dspace.h -------------------------------------------------------------------------------- /impl/apps/console_server/src/dispatchers/dspace/stdio_dspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/dispatchers/dspace/stdio_dspace.c -------------------------------------------------------------------------------- /impl/apps/console_server/src/dispatchers/dspace/stdio_dspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/dispatchers/dspace/stdio_dspace.h -------------------------------------------------------------------------------- /impl/apps/console_server/src/dispatchers/serv_dispatch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/dispatchers/serv_dispatch.c -------------------------------------------------------------------------------- /impl/apps/console_server/src/dispatchers/serv_dispatch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/dispatchers/serv_dispatch.h -------------------------------------------------------------------------------- /impl/apps/console_server/src/ega_vterm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/ega_vterm.c -------------------------------------------------------------------------------- /impl/apps/console_server/src/ega_vterm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/ega_vterm.h -------------------------------------------------------------------------------- /impl/apps/console_server/src/state.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/state.c -------------------------------------------------------------------------------- /impl/apps/console_server/src/state.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/console_server/src/state.h -------------------------------------------------------------------------------- /impl/apps/file_server/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/Kbuild -------------------------------------------------------------------------------- /impl/apps/file_server/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/Kconfig -------------------------------------------------------------------------------- /impl/apps/file_server/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/apps/file_server/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/Makefile -------------------------------------------------------------------------------- /impl/apps/file_server/files/hello.txt: -------------------------------------------------------------------------------- 1 | hello world! -------------------------------------------------------------------------------- /impl/apps/file_server/files/hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/files/hh -------------------------------------------------------------------------------- /impl/apps/file_server/files/license: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/files/license -------------------------------------------------------------------------------- /impl/apps/file_server/files/logfile: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /impl/apps/file_server/files/nethackrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/files/nethackrc -------------------------------------------------------------------------------- /impl/apps/file_server/files/news: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/files/news -------------------------------------------------------------------------------- /impl/apps/file_server/files/nhdat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/files/nhdat -------------------------------------------------------------------------------- /impl/apps/file_server/linker.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/linker.lds -------------------------------------------------------------------------------- /impl/apps/file_server/src/badge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/badge.h -------------------------------------------------------------------------------- /impl/apps/file_server/src/dataspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/dataspace.c -------------------------------------------------------------------------------- /impl/apps/file_server/src/dataspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/dataspace.h -------------------------------------------------------------------------------- /impl/apps/file_server/src/dispatchers/cpio_dspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/dispatchers/cpio_dspace.c -------------------------------------------------------------------------------- /impl/apps/file_server/src/dispatchers/cpio_dspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/dispatchers/cpio_dspace.h -------------------------------------------------------------------------------- /impl/apps/file_server/src/dispatchers/dispatch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/dispatchers/dispatch.c -------------------------------------------------------------------------------- /impl/apps/file_server/src/dispatchers/dispatch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/dispatchers/dispatch.h -------------------------------------------------------------------------------- /impl/apps/file_server/src/dispatchers/fault_notify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/dispatchers/fault_notify.c -------------------------------------------------------------------------------- /impl/apps/file_server/src/dispatchers/fault_notify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/dispatchers/fault_notify.h -------------------------------------------------------------------------------- /impl/apps/file_server/src/dispatchers/serv_dispatch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/dispatchers/serv_dispatch.c -------------------------------------------------------------------------------- /impl/apps/file_server/src/dispatchers/serv_dispatch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/dispatchers/serv_dispatch.h -------------------------------------------------------------------------------- /impl/apps/file_server/src/file_server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/file_server.c -------------------------------------------------------------------------------- /impl/apps/file_server/src/pager.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/pager.c -------------------------------------------------------------------------------- /impl/apps/file_server/src/pager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/pager.h -------------------------------------------------------------------------------- /impl/apps/file_server/src/state.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/state.c -------------------------------------------------------------------------------- /impl/apps/file_server/src/state.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/file_server/src/state.h -------------------------------------------------------------------------------- /impl/apps/nethack/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/Kbuild -------------------------------------------------------------------------------- /impl/apps/nethack/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/Kconfig -------------------------------------------------------------------------------- /impl/apps/nethack/LICENSE_GPL.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/LICENSE_GPL.txt -------------------------------------------------------------------------------- /impl/apps/nethack/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/Makefile -------------------------------------------------------------------------------- /impl/apps/nethack/linker.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/linker.lds -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/Files: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/Files -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/Makefile -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/Porting: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/Porting -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/README -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Arch.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Arch.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Barb.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Barb.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Caveman.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Caveman.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Healer.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Healer.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Knight.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Knight.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Makefile -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Monk.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Monk.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Priest.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Priest.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Ranger.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Ranger.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Rogue.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Rogue.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Samurai.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Samurai.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Tourist.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Tourist.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Valkyrie.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Valkyrie.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/Wizard.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/Wizard.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/bigroom.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/bigroom.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/castle.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/castle.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/cmdhelp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/cmdhelp -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/data.base: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/data.base -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/dungeon.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/dungeon.def -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/endgame.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/endgame.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/gehennom.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/gehennom.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/help: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/help -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/hh -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/history: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/history -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/knox.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/knox.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/license: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/license -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/medusa.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/medusa.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/mines.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/mines.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/opthelp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/opthelp -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/options: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/options -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/oracle.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/oracle.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/oracles.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/oracles.txt -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/quest.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/quest.txt -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/rumors.fal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/rumors.fal -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/rumors.tru: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/rumors.tru -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/sokoban.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/sokoban.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/tower.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/tower.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/wizhelp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/wizhelp -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/dat/yendor.des: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/dat/yendor.des -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/Guidebook.mn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/Guidebook.mn -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/Guidebook.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/Guidebook.tex -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/Guidebook.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/Guidebook.txt -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/Makefile -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/dgn_comp.6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/dgn_comp.6 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/dgn_comp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/dgn_comp.txt -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/dlb.6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/dlb.6 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/dlb.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/dlb.txt -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes22.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes22.0 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes30.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes30.0 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes31.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes31.1 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes31.2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes31.2 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes31.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes31.3 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes32.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes32.0 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes32.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes32.1 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes32.2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes32.2 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes32.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes32.3 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes33.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes33.0 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes33.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes33.1 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes34.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes34.0 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes34.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes34.1 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes34.2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes34.2 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/fixes34.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/fixes34.3 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/lev_comp.6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/lev_comp.6 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/lev_comp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/lev_comp.txt -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/nethack.6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/nethack.6 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/nethack.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/nethack.txt -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/recover.6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/recover.6 -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/recover.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/recover.txt -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/tmac.n: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/tmac.n -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/doc/window.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/doc/window.doc -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/align.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/align.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/amiconf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/amiconf.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/artifact.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/artifact.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/artilist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/artilist.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/attrib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/attrib.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/beconf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/beconf.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/bitmfile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/bitmfile.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/color.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/color.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/config.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/config1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/config1.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/coord.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/coord.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/date.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/date.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/decl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/decl.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/def_os2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/def_os2.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/dgn_file.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/dgn_file.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/display.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/display.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/dlb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/dlb.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/dungeon.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/dungeon.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/edog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/edog.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/emin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/emin.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/engrave.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/engrave.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/epri.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/epri.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/eshk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/eshk.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/extern.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/extern.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/flag.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/flag.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/func_tab.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/func_tab.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/gem_rsc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/gem_rsc.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/global.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/hack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/hack.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/lev.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/lev.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/load_img.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/load_img.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/mac-carbon.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/mac-carbon.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/mac-qt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/mac-qt.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/mac-term.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/mac-term.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/macconf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/macconf.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/macpopup.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/macpopup.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/mactty.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/mactty.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/macwin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/macwin.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/mail.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/mail.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/mfndpos.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/mfndpos.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/micro.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/micro.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/mkroom.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/mkroom.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/monattk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/monattk.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/mondata.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/mondata.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/monflag.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/monflag.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/monst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/monst.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/monsym.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/monsym.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/mttypriv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/mttypriv.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/nhlan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/nhlan.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/ntconf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/ntconf.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/obj.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/obj.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/objclass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/objclass.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/onames.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/onames.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/os2conf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/os2conf.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/patchlevel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/patchlevel.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/pcconf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/pcconf.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/permonst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/permonst.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/pm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/pm.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/prop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/prop.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/qt_clust.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/qt_clust.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/qt_kde0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/qt_kde0.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/qt_win.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/qt_win.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/qt_xpms.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/qt_xpms.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/qtext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/qtext.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/qttableview.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/qttableview.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/quest.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/quest.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/rect.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/rect.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/region.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/region.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/rm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/rm.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/skills.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/skills.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/sp_lev.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/sp_lev.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/spell.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/spell.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/system.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/system.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/tcap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/tcap.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/tile2x11.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/tile2x11.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/timeout.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/timeout.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/tosconf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/tosconf.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/tradstdc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/tradstdc.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/trampoli.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/trampoli.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/trap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/trap.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/unixconf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/unixconf.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/vault.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/vault.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/vis_tab.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/vis_tab.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/vision.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/vision.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/vmsconf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/vmsconf.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/wceconf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/wceconf.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/winGnome.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/winGnome.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/winX.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/winX.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/winami.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/winami.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/wingem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/wingem.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/winprocs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/winprocs.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/wintty.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/wintty.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/wintype.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/wintype.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/xwindow.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/xwindow.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/xwindowp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/xwindowp.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/you.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/you.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/include/youprop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/include/youprop.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/Makefile -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/allmain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/allmain.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/alloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/alloc.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/apply.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/apply.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/artifact.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/artifact.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/attrib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/attrib.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/ball.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/ball.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/bones.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/bones.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/botl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/botl.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/cmd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/cmd.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/dbridge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/dbridge.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/decl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/decl.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/detect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/detect.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/dig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/dig.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/display.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/display.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/dlb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/dlb.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/do.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/do.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/do_name.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/do_name.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/do_wear.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/do_wear.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/dog.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/dog.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/dogmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/dogmove.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/dokick.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/dokick.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/dothrow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/dothrow.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/drawing.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/drawing.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/dungeon.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/dungeon.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/eat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/eat.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/end.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/end.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/engrave.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/engrave.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/exper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/exper.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/explode.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/explode.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/extralev.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/extralev.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/files.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/files.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/fountain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/fountain.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/hack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/hack.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/hacklib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/hacklib.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/invent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/invent.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/light.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/light.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/lock.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mail.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/makemon.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/makemon.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mapglyph.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mapglyph.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mcastu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mcastu.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mhitm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mhitm.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mhitu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mhitu.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/minion.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/minion.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mklev.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mklev.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mkmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mkmap.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mkmaze.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mkmaze.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mkobj.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mkobj.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mkroom.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mkroom.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mon.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mon.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mondata.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mondata.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/monmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/monmove.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/monst.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/monst.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/monstr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/monstr.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mplayer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mplayer.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/mthrowu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/mthrowu.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/muse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/muse.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/music.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/music.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/o_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/o_init.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/objects.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/objects.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/objnam.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/objnam.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/options.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/options.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/pager.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/pager.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/pickup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/pickup.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/pline.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/pline.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/polyself.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/polyself.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/potion.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/potion.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/pray.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/pray.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/priest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/priest.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/quest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/quest.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/questpgr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/questpgr.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/read.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/rect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/rect.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/region.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/region.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/restore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/restore.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/rip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/rip.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/rnd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/rnd.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/role.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/role.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/rumors.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/rumors.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/save.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/save.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/shk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/shk.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/shknam.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/shknam.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/sit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/sit.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/sounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/sounds.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/sp_lev.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/sp_lev.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/spell.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/spell.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/steal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/steal.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/steed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/steed.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/teleport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/teleport.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/timeout.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/timeout.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/topten.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/topten.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/track.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/track.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/trap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/trap.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/u_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/u_init.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/uhitm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/uhitm.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/vault.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/vault.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/version.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/version.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/vis_tab.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/vis_tab.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/vision.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/vision.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/weapon.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/weapon.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/were.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/were.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/wield.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/wield.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/windows.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/windows.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/wizard.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/wizard.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/worm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/worm.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/worn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/worn.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/write.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/src/zap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/src/zap.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/Makefile.lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/Makefile.lib -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/NetHack.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/NetHack.cnf -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/dgn_comp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/dgn_comp.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/dgn_lex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/dgn_lex.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/dgn_yacc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/dgn_yacc.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/ioctl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/ioctl.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/lev_comp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/lev_comp.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/lev_lex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/lev_lex.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/lev_yacc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/lev_yacc.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/nhlan.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/nhlan.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/pcmain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/pcmain.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/pcsys.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/pcsys.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/pctty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/pctty.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/pcunix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/pcunix.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/random.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/random.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/README -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/bell.uu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/bell.uu -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/bugle.uu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/bugle.uu -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/erthdrum.uu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/erthdrum.uu -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/firehorn.uu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/firehorn.uu -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/frsthorn.uu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/frsthorn.uu -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/lethdrum.uu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/lethdrum.uu -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/mgcflute.uu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/mgcflute.uu -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/mgcharp.uu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/mgcharp.uu -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/toolhorn.uu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/toolhorn.uu -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/wdnflute.uu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/wdnflute.uu -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/wdnharp.uu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/sounds/wdnharp.uu -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/tclib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/tclib.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/termcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/termcap -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/termcap.uu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/termcap.uu -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/unixtty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/unixtty.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/share/uudecode.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/share/uudecode.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/Install.unx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/Install.unx -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/Makefile.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/Makefile.dat -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/Makefile.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/Makefile.doc -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/Makefile.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/Makefile.src -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/Makefile.top: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/Makefile.top -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/Makefile.utl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/Makefile.utl -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/README.linux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/README.linux -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/cpp1.shr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/cpp1.shr -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/cpp2.shr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/cpp2.shr -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/cpp3.shr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/cpp3.shr -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/depend.awk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/depend.awk -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/nethack.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/nethack.sh -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/setup.sh -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/snd86unx.shr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/snd86unx.shr -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/unixmain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/unixmain.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/unixres.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/unixres.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/sys/unix/unixunix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/sys/unix/unixunix.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/win/share/monsters.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/win/share/monsters.txt -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/win/share/objects.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/win/share/objects.txt -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/win/share/other.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/win/share/other.txt -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/win/share/tile.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/win/share/tile.doc -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/win/share/tile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/win/share/tile.h -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/win/tty/getline.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/win/tty/getline.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/win/tty/termcap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/win/tty/termcap.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/win/tty/topl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/win/tty/topl.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/nethack-3.4.3/win/tty/wintty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/nethack-3.4.3/win/tty/wintty.c -------------------------------------------------------------------------------- /impl/apps/nethack/src/refos_nethack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/nethack/src/refos_nethack.c -------------------------------------------------------------------------------- /impl/apps/process_server/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/Kbuild -------------------------------------------------------------------------------- /impl/apps/process_server/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/Kconfig -------------------------------------------------------------------------------- /impl/apps/process_server/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/apps/process_server/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/Makefile -------------------------------------------------------------------------------- /impl/apps/process_server/src/badge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/badge.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/common.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/dispatchers/data_syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/dispatchers/data_syscall.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/dispatchers/data_syscall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/dispatchers/data_syscall.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/dispatchers/dispatcher.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/dispatchers/dispatcher.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/dispatchers/dispatcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/dispatchers/dispatcher.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/dispatchers/fault_handler.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/dispatchers/fault_handler.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/dispatchers/fault_handler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/dispatchers/fault_handler.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/dispatchers/mem_syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/dispatchers/mem_syscall.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/dispatchers/mem_syscall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/dispatchers/mem_syscall.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/dispatchers/name_syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/dispatchers/name_syscall.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/dispatchers/name_syscall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/dispatchers/name_syscall.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/dispatchers/proc_syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/dispatchers/proc_syscall.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/dispatchers/proc_syscall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/dispatchers/proc_syscall.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/main.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/state.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/state.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/state.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/state.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/addrspace/pagedir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/addrspace/pagedir.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/addrspace/pagedir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/addrspace/pagedir.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/addrspace/vspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/addrspace/vspace.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/addrspace/vspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/addrspace/vspace.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/memserv/dataspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/memserv/dataspace.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/memserv/dataspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/memserv/dataspace.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/memserv/ringbuffer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/memserv/ringbuffer.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/memserv/ringbuffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/memserv/ringbuffer.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/memserv/window.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/memserv/window.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/memserv/window.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/memserv/window.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/process/pid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/process/pid.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/process/pid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/process/pid.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/process/proc_client_watch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/process/proc_client_watch.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/process/proc_client_watch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/process/proc_client_watch.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/process/process.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/process/process.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/process/process.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/process/process.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/process/thread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/process/thread.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/system/process/thread.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/system/process/thread.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/test/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/test/test.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/test/test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/test/test.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/test/test_addrspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/test/test_addrspace.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/test/test_addrspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/test/test_addrspace.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/test/test_memserv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/test/test_memserv.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/test/test_memserv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/test/test_memserv.h -------------------------------------------------------------------------------- /impl/apps/process_server/src/test/test_process.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/test/test_process.c -------------------------------------------------------------------------------- /impl/apps/process_server/src/test/test_process.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/process_server/src/test/test_process.h -------------------------------------------------------------------------------- /impl/apps/selfloader/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/selfloader/Kbuild -------------------------------------------------------------------------------- /impl/apps/selfloader/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/selfloader/Kconfig -------------------------------------------------------------------------------- /impl/apps/selfloader/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/selfloader/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/apps/selfloader/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/selfloader/Makefile -------------------------------------------------------------------------------- /impl/apps/selfloader/linker.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/selfloader/linker.lds -------------------------------------------------------------------------------- /impl/apps/selfloader/src/selfloader.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/selfloader/src/selfloader.c -------------------------------------------------------------------------------- /impl/apps/selfloader/src/selfloader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/selfloader/src/selfloader.h -------------------------------------------------------------------------------- /impl/apps/snake/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/snake/Kbuild -------------------------------------------------------------------------------- /impl/apps/snake/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/snake/Kconfig -------------------------------------------------------------------------------- /impl/apps/snake/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/snake/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/apps/snake/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/snake/Makefile -------------------------------------------------------------------------------- /impl/apps/snake/linker.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/snake/linker.lds -------------------------------------------------------------------------------- /impl/apps/snake/src/snake.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/snake/src/snake.c -------------------------------------------------------------------------------- /impl/apps/terminal/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/terminal/Kbuild -------------------------------------------------------------------------------- /impl/apps/terminal/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/terminal/Kconfig -------------------------------------------------------------------------------- /impl/apps/terminal/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/terminal/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/apps/terminal/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/terminal/Makefile -------------------------------------------------------------------------------- /impl/apps/terminal/linker.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/terminal/linker.lds -------------------------------------------------------------------------------- /impl/apps/terminal/src/print_time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/terminal/src/print_time.c -------------------------------------------------------------------------------- /impl/apps/terminal/src/print_time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/terminal/src/print_time.h -------------------------------------------------------------------------------- /impl/apps/terminal/src/terminal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/terminal/src/terminal.c -------------------------------------------------------------------------------- /impl/apps/test_os/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_os/Kbuild -------------------------------------------------------------------------------- /impl/apps/test_os/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_os/Kconfig -------------------------------------------------------------------------------- /impl/apps/test_os/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_os/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/apps/test_os/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_os/Makefile -------------------------------------------------------------------------------- /impl/apps/test_os/linker.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_os/linker.lds -------------------------------------------------------------------------------- /impl/apps/test_os/src/test_anon_ram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_os/src/test_anon_ram.c -------------------------------------------------------------------------------- /impl/apps/test_os/src/test_anon_ram.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_os/src/test_anon_ram.h -------------------------------------------------------------------------------- /impl/apps/test_os/src/test_fileserv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_os/src/test_fileserv.c -------------------------------------------------------------------------------- /impl/apps/test_os/src/test_fileserv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_os/src/test_fileserv.h -------------------------------------------------------------------------------- /impl/apps/test_os/src/test_os.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_os/src/test_os.c -------------------------------------------------------------------------------- /impl/apps/test_user/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_user/Kbuild -------------------------------------------------------------------------------- /impl/apps/test_user/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_user/Kconfig -------------------------------------------------------------------------------- /impl/apps/test_user/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_user/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/apps/test_user/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_user/Makefile -------------------------------------------------------------------------------- /impl/apps/test_user/linker.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_user/linker.lds -------------------------------------------------------------------------------- /impl/apps/test_user/src/test_user.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/test_user/src/test_user.c -------------------------------------------------------------------------------- /impl/apps/tetris/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/tetris/Kbuild -------------------------------------------------------------------------------- /impl/apps/tetris/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/tetris/Kconfig -------------------------------------------------------------------------------- /impl/apps/tetris/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/tetris/LICENSE.txt -------------------------------------------------------------------------------- /impl/apps/tetris/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/tetris/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/apps/tetris/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/tetris/Makefile -------------------------------------------------------------------------------- /impl/apps/tetris/linker.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/tetris/linker.lds -------------------------------------------------------------------------------- /impl/apps/tetris/src/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/tetris/src/io.h -------------------------------------------------------------------------------- /impl/apps/tetris/src/tetris.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/tetris/src/tetris.c -------------------------------------------------------------------------------- /impl/apps/timer_server/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/Kbuild -------------------------------------------------------------------------------- /impl/apps/timer_server/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/Kconfig -------------------------------------------------------------------------------- /impl/apps/timer_server/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/apps/timer_server/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/Makefile -------------------------------------------------------------------------------- /impl/apps/timer_server/linker.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/linker.lds -------------------------------------------------------------------------------- /impl/apps/timer_server/src/badge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/badge.h -------------------------------------------------------------------------------- /impl/apps/timer_server/src/device_timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/device_timer.c -------------------------------------------------------------------------------- /impl/apps/timer_server/src/device_timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/device_timer.h -------------------------------------------------------------------------------- /impl/apps/timer_server/src/dispatchers/client_watch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/dispatchers/client_watch.c -------------------------------------------------------------------------------- /impl/apps/timer_server/src/dispatchers/client_watch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/dispatchers/client_watch.h -------------------------------------------------------------------------------- /impl/apps/timer_server/src/dispatchers/dispatch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/dispatchers/dispatch.c -------------------------------------------------------------------------------- /impl/apps/timer_server/src/dispatchers/dispatch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/dispatchers/dispatch.h -------------------------------------------------------------------------------- /impl/apps/timer_server/src/dispatchers/dspace/dspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/dispatchers/dspace/dspace.c -------------------------------------------------------------------------------- /impl/apps/timer_server/src/dispatchers/dspace/dspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/dispatchers/dspace/dspace.h -------------------------------------------------------------------------------- /impl/apps/timer_server/src/dispatchers/dspace/timer_dspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/dispatchers/dspace/timer_dspace.c -------------------------------------------------------------------------------- /impl/apps/timer_server/src/dispatchers/dspace/timer_dspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/dispatchers/dspace/timer_dspace.h -------------------------------------------------------------------------------- /impl/apps/timer_server/src/dispatchers/serv_dispatch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/dispatchers/serv_dispatch.c -------------------------------------------------------------------------------- /impl/apps/timer_server/src/dispatchers/serv_dispatch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/dispatchers/serv_dispatch.h -------------------------------------------------------------------------------- /impl/apps/timer_server/src/state.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/state.c -------------------------------------------------------------------------------- /impl/apps/timer_server/src/state.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/state.h -------------------------------------------------------------------------------- /impl/apps/timer_server/src/timer_server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/apps/timer_server/src/timer_server.c -------------------------------------------------------------------------------- /impl/cidl.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/cidl.xsd -------------------------------------------------------------------------------- /impl/cidl_compile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/cidl_compile -------------------------------------------------------------------------------- /impl/cidl_templates/client.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/cidl_templates/client.py -------------------------------------------------------------------------------- /impl/cidl_templates/client_header.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/cidl_templates/client_header.py -------------------------------------------------------------------------------- /impl/cidl_templates/dispatcher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/cidl_templates/dispatcher.py -------------------------------------------------------------------------------- /impl/cidl_templates/dispatcher_container.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/cidl_templates/dispatcher_container.py -------------------------------------------------------------------------------- /impl/cidl_templates/enum.py: -------------------------------------------------------------------------------- 1 | # Copyright 2016, Data61, CSIRO (ABN 41 687 119 230) 2 | # 3 | # SPDX-License-Identifier: BSD-2-Clause 4 | 5 | RPC_{{fname.upper()}}, 6 | -------------------------------------------------------------------------------- /impl/cidl_templates/root.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/cidl_templates/root.py -------------------------------------------------------------------------------- /impl/cidl_templates/server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/cidl_templates/server.py -------------------------------------------------------------------------------- /impl/cidl_templates/server_header.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/cidl_templates/server_header.py -------------------------------------------------------------------------------- /impl/configs/ia32_debug_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/ia32_debug_defconfig -------------------------------------------------------------------------------- /impl/configs/ia32_debug_test_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/ia32_debug_test_defconfig -------------------------------------------------------------------------------- /impl/configs/ia32_release_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/ia32_release_defconfig -------------------------------------------------------------------------------- /impl/configs/ia32_release_test_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/ia32_release_test_defconfig -------------------------------------------------------------------------------- /impl/configs/ia32_screen_debug_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/ia32_screen_debug_defconfig -------------------------------------------------------------------------------- /impl/configs/ia32_screen_release_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/ia32_screen_release_defconfig -------------------------------------------------------------------------------- /impl/configs/imx6_debug_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/imx6_debug_defconfig -------------------------------------------------------------------------------- /impl/configs/imx6_debug_test_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/imx6_debug_test_defconfig -------------------------------------------------------------------------------- /impl/configs/imx6_release_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/imx6_release_defconfig -------------------------------------------------------------------------------- /impl/configs/imx6_release_test_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/imx6_release_test_defconfig -------------------------------------------------------------------------------- /impl/configs/kzm_debug_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/kzm_debug_defconfig -------------------------------------------------------------------------------- /impl/configs/kzm_debug_test_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/kzm_debug_test_defconfig -------------------------------------------------------------------------------- /impl/configs/kzm_release_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/kzm_release_defconfig -------------------------------------------------------------------------------- /impl/configs/kzm_release_nethack_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/kzm_release_nethack_defconfig -------------------------------------------------------------------------------- /impl/configs/kzm_release_test_defconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/configs/kzm_release_test_defconfig -------------------------------------------------------------------------------- /impl/docs/Doxyfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/Doxyfile -------------------------------------------------------------------------------- /impl/docs/Doxyfile.bak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/Doxyfile.bak -------------------------------------------------------------------------------- /impl/docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/Makefile -------------------------------------------------------------------------------- /impl/docs/doxygen/component_design.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/component_design.png -------------------------------------------------------------------------------- /impl/docs/doxygen/conserv.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/conserv.png -------------------------------------------------------------------------------- /impl/docs/doxygen/dataspace_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/dataspace_example.png -------------------------------------------------------------------------------- /impl/docs/doxygen/dispatcher.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/dispatcher.png -------------------------------------------------------------------------------- /impl/docs/doxygen/elfload.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/elfload.png -------------------------------------------------------------------------------- /impl/docs/doxygen/fault.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/fault.png -------------------------------------------------------------------------------- /impl/docs/doxygen/fileserv.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/fileserv.png -------------------------------------------------------------------------------- /impl/docs/doxygen/header-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/header-logo.png -------------------------------------------------------------------------------- /impl/docs/doxygen/memwindow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/memwindow.png -------------------------------------------------------------------------------- /impl/docs/doxygen/procserv.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/procserv.png -------------------------------------------------------------------------------- /impl/docs/doxygen/refos.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/refos.png -------------------------------------------------------------------------------- /impl/docs/doxygen/startup.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/startup.png -------------------------------------------------------------------------------- /impl/docs/doxygen/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/style.css -------------------------------------------------------------------------------- /impl/docs/doxygen/testing_levels.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/testing_levels.png -------------------------------------------------------------------------------- /impl/docs/doxygen/timeserv.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/timeserv.png -------------------------------------------------------------------------------- /impl/docs/doxygen/vmlayout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/doxygen/vmlayout.png -------------------------------------------------------------------------------- /impl/docs/extra_pages/components.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/extra_pages/components.h -------------------------------------------------------------------------------- /impl/docs/extra_pages/design.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/extra_pages/design.h -------------------------------------------------------------------------------- /impl/docs/extra_pages/mainpage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/extra_pages/mainpage.h -------------------------------------------------------------------------------- /impl/docs/extra_pages/testing.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/docs/extra_pages/testing.h -------------------------------------------------------------------------------- /impl/libs/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/Kbuild -------------------------------------------------------------------------------- /impl/libs/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/Kconfig -------------------------------------------------------------------------------- /impl/libs/libdatastruct/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/Kbuild -------------------------------------------------------------------------------- /impl/libs/libdatastruct/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/Kconfig -------------------------------------------------------------------------------- /impl/libs/libdatastruct/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/libs/libdatastruct/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/Makefile -------------------------------------------------------------------------------- /impl/libs/libdatastruct/include/data_struct/cbpool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/include/data_struct/cbpool.h -------------------------------------------------------------------------------- /impl/libs/libdatastruct/include/data_struct/chash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/include/data_struct/chash.h -------------------------------------------------------------------------------- /impl/libs/libdatastruct/include/data_struct/cmacros.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/include/data_struct/cmacros.h -------------------------------------------------------------------------------- /impl/libs/libdatastruct/include/data_struct/coat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/include/data_struct/coat.h -------------------------------------------------------------------------------- /impl/libs/libdatastruct/include/data_struct/cpool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/include/data_struct/cpool.h -------------------------------------------------------------------------------- /impl/libs/libdatastruct/include/data_struct/cqueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/include/data_struct/cqueue.h -------------------------------------------------------------------------------- /impl/libs/libdatastruct/include/data_struct/csstring.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/include/data_struct/csstring.h -------------------------------------------------------------------------------- /impl/libs/libdatastruct/include/data_struct/cvector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/include/data_struct/cvector.h -------------------------------------------------------------------------------- /impl/libs/libdatastruct/src/cbpool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/src/cbpool.c -------------------------------------------------------------------------------- /impl/libs/libdatastruct/src/chash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/src/chash.c -------------------------------------------------------------------------------- /impl/libs/libdatastruct/src/coat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/src/coat.c -------------------------------------------------------------------------------- /impl/libs/libdatastruct/src/cpool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/src/cpool.c -------------------------------------------------------------------------------- /impl/libs/libdatastruct/src/cqueue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/src/cqueue.c -------------------------------------------------------------------------------- /impl/libs/libdatastruct/src/cvector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libdatastruct/src/cvector.c -------------------------------------------------------------------------------- /impl/libs/librefos/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/Kbuild -------------------------------------------------------------------------------- /impl/libs/librefos/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/Kconfig -------------------------------------------------------------------------------- /impl/libs/librefos/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/libs/librefos/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/Makefile -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-rpc/data_client_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-rpc/data_client_helper.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-rpc/name_client_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-rpc/name_client_helper.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-rpc/proc_client_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-rpc/proc_client_helper.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-rpc/proc_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-rpc/proc_common.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-rpc/rpc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-rpc/rpc.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-rpc/serv_client_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-rpc/serv_client_helper.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-util/cspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-util/cspace.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-util/device_io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-util/device_io.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-util/device_irq.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-util/device_irq.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-util/dprintf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-util/dprintf.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-util/init.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-util/init.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-util/nameserv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-util/nameserv.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-util/serv_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-util/serv_common.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-util/serv_connect.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-util/serv_connect.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos-util/walloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos-util/walloc.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos/error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos/error.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos/refos.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos/refos.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos/share.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos/share.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos/sync.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos/sync.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos/test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos/test.h -------------------------------------------------------------------------------- /impl/libs/librefos/include/refos/vmlayout.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/include/refos/vmlayout.h -------------------------------------------------------------------------------- /impl/libs/librefos/interface/data_interface.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/interface/data_interface.xml -------------------------------------------------------------------------------- /impl/libs/librefos/interface/name_interface.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/interface/name_interface.xml -------------------------------------------------------------------------------- /impl/libs/librefos/interface/proc_interface.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/interface/proc_interface.xml -------------------------------------------------------------------------------- /impl/libs/librefos/interface/serv_interface.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/interface/serv_interface.xml -------------------------------------------------------------------------------- /impl/libs/librefos/src/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/error.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-rpc/name_client_helper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-rpc/name_client_helper.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-rpc/rpc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-rpc/rpc.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-rpc/rpc_refos.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-rpc/rpc_refos.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-rpc/serv_client_helper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-rpc/serv_client_helper.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-util/cspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-util/cspace.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-util/device_io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-util/device_io.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-util/device_irq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-util/device_irq.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-util/init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-util/init.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-util/nameserv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-util/nameserv.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-util/serv_common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-util/serv_common.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-util/serv_connect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-util/serv_connect.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-util/stdio_copy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-util/stdio_copy.h -------------------------------------------------------------------------------- /impl/libs/librefos/src/refos-util/walloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/refos-util/walloc.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/share.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/share.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/sync.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/sync.c -------------------------------------------------------------------------------- /impl/libs/librefos/src/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefos/src/test.c -------------------------------------------------------------------------------- /impl/libs/librefossys/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/Kbuild -------------------------------------------------------------------------------- /impl/libs/librefossys/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/Kconfig -------------------------------------------------------------------------------- /impl/libs/librefossys/LICENSE_BSD2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/LICENSE_BSD2.txt -------------------------------------------------------------------------------- /impl/libs/librefossys/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/Makefile -------------------------------------------------------------------------------- /impl/libs/librefossys/include/refos-io/filetable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/include/refos-io/filetable.h -------------------------------------------------------------------------------- /impl/libs/librefossys/include/refos-io/internal_state.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/include/refos-io/internal_state.h -------------------------------------------------------------------------------- /impl/libs/librefossys/include/refos-io/ipc_state.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/include/refos-io/ipc_state.h -------------------------------------------------------------------------------- /impl/libs/librefossys/include/refos-io/mmap_segment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/include/refos-io/mmap_segment.h -------------------------------------------------------------------------------- /impl/libs/librefossys/include/refos-io/morecore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/include/refos-io/morecore.h -------------------------------------------------------------------------------- /impl/libs/librefossys/include/refos-io/stdio.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/include/refos-io/stdio.h -------------------------------------------------------------------------------- /impl/libs/librefossys/include/refos-io/timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/include/refos-io/timer.h -------------------------------------------------------------------------------- /impl/libs/librefossys/src/refos-io/filetable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/refos-io/filetable.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/refos-io/mmap_segment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/refos-io/mmap_segment.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/refos-io/morecore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/refos-io/morecore.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/refos-io/stdio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/refos-io/stdio.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/sys_abort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/sys_abort.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/sys_exit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/sys_exit.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/sys_ignored.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/sys_ignored.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/sys_io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/sys_io.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/sys_morecore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/sys_morecore.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/sys_stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/sys_stubs.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/sys_thread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/sys_thread.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/sys_timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/sys_timer.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/sys_yield.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/sys_yield.c -------------------------------------------------------------------------------- /impl/libs/librefossys/src/syscalls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/syscalls.h -------------------------------------------------------------------------------- /impl/libs/librefossys/src/vsyscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/librefossys/src/vsyscall.c -------------------------------------------------------------------------------- /impl/libs/libvterm/Kbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/Kbuild -------------------------------------------------------------------------------- /impl/libs/libvterm/Kconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/Kconfig -------------------------------------------------------------------------------- /impl/libs/libvterm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/Makefile -------------------------------------------------------------------------------- /impl/libs/libvterm/include/vterm/vterm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/include/vterm/vterm.h -------------------------------------------------------------------------------- /impl/libs/libvterm/include/vterm/vterm_input.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/include/vterm/vterm_input.h -------------------------------------------------------------------------------- /impl/libs/libvterm/src/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/LICENSE -------------------------------------------------------------------------------- /impl/libs/libvterm/src/encoding.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/encoding.c -------------------------------------------------------------------------------- /impl/libs/libvterm/src/encoding/DECdrawing.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/encoding/DECdrawing.inc -------------------------------------------------------------------------------- /impl/libs/libvterm/src/encoding/DECdrawing.tbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/encoding/DECdrawing.tbl -------------------------------------------------------------------------------- /impl/libs/libvterm/src/encoding/uk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/encoding/uk.inc -------------------------------------------------------------------------------- /impl/libs/libvterm/src/encoding/uk.tbl: -------------------------------------------------------------------------------- 1 | 2/3 = "£" 2 | -------------------------------------------------------------------------------- /impl/libs/libvterm/src/input.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/input.c -------------------------------------------------------------------------------- /impl/libs/libvterm/src/parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/parser.c -------------------------------------------------------------------------------- /impl/libs/libvterm/src/pen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/pen.c -------------------------------------------------------------------------------- /impl/libs/libvterm/src/rect.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/rect.h -------------------------------------------------------------------------------- /impl/libs/libvterm/src/screen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/screen.c -------------------------------------------------------------------------------- /impl/libs/libvterm/src/state.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/state.c -------------------------------------------------------------------------------- /impl/libs/libvterm/src/unicode.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/unicode.c -------------------------------------------------------------------------------- /impl/libs/libvterm/src/utf8.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/utf8.h -------------------------------------------------------------------------------- /impl/libs/libvterm/src/vterm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/vterm.c -------------------------------------------------------------------------------- /impl/libs/libvterm/src/vterm_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/libs/libvterm/src/vterm_internal.h -------------------------------------------------------------------------------- /impl/refos_cidl_compile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/refos/HEAD/impl/refos_cidl_compile --------------------------------------------------------------------------------